Similar to 保存拡大
証明論
Proof theory
誤った数学的推論
Mathematical fallacy
カット除去定理
Cut-elimination theorem
逆数学
Reverse mathematics
初等関数算術
Elementary function arithmetic
独立性 (数理論理学)
Independence (mathematical logic)
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm初等同値性
Elementary equivalence
定義可能集合
Definable set
Μ再帰関数
General recursive function
モデル理論
Model theory有限モデル理論
Finite model theory
アックス–グロタンディークの定理
Ax–Grothendieck theorem
0
0
1
1▼-1 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
カリー＝ハワード同型対応
Curry–Howard correspondence
緩成長階層
Slow-growing hierarchy
