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