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