Similar to 逆数学
証明論
Proof theory誤った数学的推論
Mathematical fallacyカット除去定理
Cut-elimination theorem初等関数算術
Elementary function arithmetic保存拡大
Conservative extensionDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm宇宙 (数学)
Universe (mathematics)再帰理論
Μ再帰関数
General recursive function0
01
1▼-1 trends2
23
34
45
56
67
78
89
912345679
カリー=ハワード同型対応
Curry–Howard correspondence緩成長階層
Slow-growing hierarchy急成長階層
Fast-growing hierarchyゲーデルの加速定理
Gödel's speed-up theoremシークエント
Sequent自然演繹
Natural deduction