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