Category:Proof theory

<nowiki>teoría de la demostración; teoria de la demostració; Beweistheorie; د ثبوت نظريه; 证明论; teoria demonstrației; 証明論; bevisteori; תורת ההוכחות; 語法地; 语法地; 증명 이론; pruvoteorio; teorie důkazu; teoria della dimostrazione; প্রমাণ তত্ত্ব; théorie de la démonstration; tõestusteooria; teoria da prova; 证明论; Tanıtlama teorisi; نظریه برهان; teorija dokaza; теорија доказа; todistusteoria; Bewysteorie; теорија доказа; teorija dokazov; теория доказательств; теорія доведення; သက်သေပြချက်သီအိုရီ; Beweistheorie; teoria dowodu; Ապացույցների տեսություն; bewijstheorie; تيوري بوقتي; teori bukti; 證明論; lý thuyết chứng minh; proof theory; نظرية البرهان; teòria de ła demostrasion; тэорыя доказаў; rama de la lógica matemática; গাণিতিক যুক্তির শাখা; branche de la logique mathématique; Deelgebitt vun der Mathematescher Logik; dział logiki matematycznej; ענף בלוגיקה מתמטית; раздел математической логики; 数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野; Teilgebiet der mathematischen Logik; သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု; branch of mathematical logic; fako de matematika logiko; ramură a logicii matematice; matemaatilise loogika valdkond; teorija dokaza; 証明理論; 証明 (数学); théorie de la preuve; Теорія доказів; نظریه اثبات; تئوری اثبات; نظریهٔ برهان; математическая теория доказательств; teoría de la prueba; teoria de la prueba; teoria de la demostracion; teoria de la demostración; teoría de la demostracion; نظريه البرهان; lí thuyết chứng minh; 증명이론; 증명론; pruvteorio; 验证理论; תורת ההוכחה</nowiki>