Genel bakış
Tersine matematik, teoremleri kanıtlamak için gereken en zayıf aksiyom sistemini belirlemeyi amaçlayan matematiksel mantık programıdır. [1]
TEMEL ÖZELLİKLER
İkinci dereceden aritmetiğin alt sistemleri içinde “hangi aksiyomlar bu teoreme denktir?” sorusu araştırılır; böylece matematiksel sonuçların mantıksal gücü karşılaştırılır. Konu, alanın yerleşik terminolojisi ve doğrulanabilir bulguları çerçevesinde ele alınır; tarihsel bilgi ile güncel uygulama birbirinden ayrılır. [1][2]