Tüketerek
tanıtlama veya kaba kuvvet yöntemi ya da durum çözümlemesi olarak bilinen yöntem, tanıtlanacak önermenin sonlu sayıda duruma
Kaynak: Tüketerek tanıtlamaMatematik te doğrudan
tanıtlama, verilen bir önermenin varolan matematiksel teoremlerden yararlanarak doğru olduğunu gösterme işlemidir.
Kaynak: Doğrudan tanıtlamaMatematik te oluşturarak
tanıtlama istenen özelliğe sahip somut bir örnek oluşturularak ya da böyle bir nesneyi oluşturma yöntemi verilerek
Kaynak: Oluşturarak tanıtlamaTamamıyla formel tanıtların ele alındığı
tanıtlama teorisi bağlamında, bu tip tamamıyle formel olmayan tanıtlamalara "sosyal
tanıtlama"
Kaynak: Matematiksel ispatkullanılan daha genel bir
tanıtlama biçimi değerlendirilebilen (hesaplanabilen) ifadelerin (dil için geçerli sözdizimlerinin) denk olduğunu gösterir.
Kaynak: Matematiksel tümevarımDogmatizmin zorunlu sonucu zorbalıktır, zira farklı düşüncelere, perspektiflere yer olmadığı gibi, dogmatizmde deneyle
tanıtlama da kabul
Kaynak: DogmatizmBu
tanıtlama yöntemi matematiksel tümevarımın tersidir (aynen "değil-B gerektirir değil-A", "A gerektirir B" ifadesinin tersi olması
Kaynak: İyi-sıralılık ilkesi