Matematiksel ispat: Revizyonlar arasındaki fark

* ''[[Doğrudan tanıtlama]]'': Sonucun, aksiyomlar, tanımlar ve daha önceki savların mantıksal olarak birleştirilmesiyle elde edildiği yöntem.

* ''[[Matematiksel tümevarım|Tümevarımla tanıtlama]]'': Temel bir durumun tanıtlandığı ve bir ''tümevarım kuralı'' kulanılarak çok sayıda (sıkça [[sonsuz]] olan) başka durumların tanıtlandığı yöntem.

* ''[[Oluşturarak tanıtlama]]'': İstenen özelliğe sahip somut bir örnek oluşturularak istenen özellikte bir nesnenin var olduğunun gösterildiği yöntem.

* ''[[Tüketerek tanıtlama]]'': Tanıtlanacak önermenin sonlu sayıda duruma bölünerek her birinin ayrı ayrı tanıtlandığı yöntem.