Similar to ススリンの問題
アルキメデスの性質
Archimedean property
宇宙 (数学)
Universe (mathematics)
吸収法則
Absorption law
構造的帰納法
Structural induction
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲1 trends
Μ再帰関数
General recursive function
0
0▼-1 trends
1
1▲5 trends
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
順序集合
Ordered set
因果集合
Causal sets
ヴェブレン階層
Veblen function
可算鎖条件
Countable chain condition
完備半順序
Complete partial order
クリーネの不動点定理
Kleene fixed-point theorem
コンパクト要素
Compact element
最小不動点
Least fixed point
最大と最小
Greatest element and least element