Category:証明論
自然演繹
Natural deductionカリー=ハワード同型対応
Curry–Howard correspondence証明論
Proof theoryカット除去定理
Cut-elimination theorem初等関数算術
Elementary function arithmeticシークエント
Sequent証明可能性論理
Provability logic緩成長階層
Slow-growing hierarchy誤った数学的推論
Mathematical fallacy実現可能性 (論理学)
Realizability独立性 (数理論理学)
Independence (mathematical logic)二重否定翻訳
Double-negation translationゲーデルの加速定理
Gödel's speed-up theorem保存拡大
Conservative extension急成長階層
Fast-growing hierarchyチャーチ・クリーネ順序数
Nonrecursive ordinal逆数学
Reverse mathematics