matematik ve mantıkta verilmiş bazı aksiyom veya varsayımlardan teorim çıkartma ya da kanıtlama yöntemidir.
Burada yeni gibi görünüyorsunuz. Eğer katılmak istiyorsanız düğmelerden birine tıklayınız.