iyi-sıralılık ilkesini
tanıtlamak için seçim aksiyomunu "kuşku duyulmaz mantıksal bir ilke" olarak kabul etmiş ancak yine kısa bir süre
Kaynak: İyi-sıralılık ilkesiÇoğunlukla taban (kurucu) aksiyomları zayıf olan matematiksel kuramlarda ortaya atılan birçok teoremin teoremi
tanıtlamak için gerekli
Kaynak: Tersine matematikDurumlardan her birini
tanıtlamak. Bunun aksine Eski Yunan bilginlerinden Eudoxus of Cnidus 'un tüketme yöntemi (tanıtlama) yöntemi
Kaynak: Tüketerek tanıtlamaÖrneğin söz konusu olan sorundan büsbütün başka bir sorunu
tanıtlamak, tanıtlanması gerekeni kendisiyle
tanıtlamak, eksik tümevarım yapmak
Kaynak: Bilgicilikİlki, aşkın sayıların var olduğunu
tanıtlamak (herhangi bir somut örnek verme zorunluluğunu hissetmeden). İkincisi, özellikle tasarlanmış
Kaynak: Oluşturarak tanıtlamaÖrneğin söz konusu olan sorundan büsbütün başka bir sorunu
tanıtlamak, tanıtlanması gerekeni kendisiyle
tanıtlamak, eksik tümevarım yapmak
Kaynak: Sokrates öncesi düşünürler