Similar to 構造的帰納法
数学的帰納法
Mathematical induction
アルキメデスの性質
Archimedean property
宇宙 (数学)
Universe (mathematics)
吸収法則
Absorption law
ススリンの問題
Suslin's problem
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
超限帰納法
Transfinite induction
順序集合
Ordered set
因果集合
Causal sets
ヴェブレン階層
Veblen function
可算鎖条件
Countable chain condition
完備半順序
Complete partial order
完備ブール代数
Complete Boolean algebra
クリーネの不動点定理
Kleene fixed-point theorem