Similar to ススリンの問題
アルキメデスの性質
Archimedean property
宇宙 (数学)
Universe (mathematics)
吸収法則
Absorption law
構造的帰納法
Structural induction
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
Μ再帰関数
General recursive function
0
0
1
1▼-1 trends
2
2▼-1 trends
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
完備ブール代数
Complete Boolean algebra
クリーネの不動点定理
Kleene fixed-point theorem
コンパクト要素
Compact element
最小不動点
Least fixed point