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