Similar to 逆数学
証明論
Proof theory
誤った数学的推論
Mathematical fallacy
カット除去定理
Cut-elimination theorem
初等関数算術
Elementary function arithmetic
保存拡大
Conservative extension
独立性 (数理論理学)
Independence (mathematical logic)
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
宇宙 (数学)
Universe (mathematics)
再帰理論
Μ再帰関数
General recursive function
0
0
1
1▲6 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy急成長階層
Fast-growing hierarchy
ゲーデルの加速定理
Gödel's speed-up theorem
シークエント
Sequent