نظرية الإثبات

استخراج البراهين (Proof Mining)

الترتيب باخمان-هاورد (Bachmann–Howard Ordinal)

الامتداد بالتعريف (Extension by definitions)

كارل جوكوش (Carl Jockusch)

جيف باريس (عالم رياضيات) (Jeff Paris)

حساب إبسيلون (Epsilon Calculus)

فيغو ستولتنبرغ-هانسون (Viggo Stoltenberg-Hansen)

تفسير هيربراند (Herbrand Interpretation)

Exit mobile version