世界大百科事典内のproof theoryの言及
【数学基礎論】より
…後者を超数学といい，その論法は有限的，構成的なしかたによらなければならない。超数学では体系内での証明自体が研究の主たる対象とされるからこれを証明論proof theoryともいう。与えられた形式的体系について，証明論の究極の目標は〈矛盾に至る証明はその体系内ではありえない〉ことを証明することである。…
※「proof theory」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社世界大百科事典 第２版について | 情報