Similar to 数学的帰納法
アルキメデスの性質
Archimedean property
構造的帰納法
Structural induction
Ω無矛盾
Ω-consistent theory
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
順序集合
Ordered set
因果集合
Causal sets
ヴェブレン階層
Veblen function
宇宙 (数学)
Universe (mathematics)
可算鎖条件
Countable chain condition
完備半順序
Complete partial order
完備ブール代数
Complete Boolean algebra
吸収法則
Absorption law
クリーネの不動点定理
Kleene fixed-point theorem
コンパクト要素
Compact element
最小不動点
Least fixed point
最大と最小
Greatest element and least element
辞書式順序
Lexicographic order
縮小写像
Contraction mapping