数学基礎論
かつてはヒルベルトとベルナイスの『数学の基礎』に基づき、ヒルベルト・プログラムによって数学の諸体系の無矛盾性証明を行う超数学 (metamathematics) としての証明論を指す言葉であった。