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