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