rama de la lógica matemática
သင်္ချာယုတ္တိဗေဒ၏ ဘာသာခွဲတစ်ခု
fako de matematika logiko
Proof theory
গাণিতিক যুক্তির শাখা
Deelgebitt vun der Mathematescher Logik
dział logiki matematycznej
раздел математической логики
branch of mathematical logic
ramură a logicii matematice
matemaatilise loogika valdkond
branche de la logique mathématique
ענף בלוגיקה מתמטית
Teilgebiet der mathematischen Logik
数理論理学の一分野であり、証明を数学的対象として形式的に表して数学的解析を施す分野
Théorie de la démonstration
Bewijstheorie
Pruvteorio
Teoria de la demostració
증명 이론
Beweistheorie
Teoría de la demostración
証明論
نظرية البرهان
Teoria dowodu
Teoria da prova
Теорія доведення
Teoria della dimostrazione
Bevisteori
证明论
Теория доказательств