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