Similar to 強制法
メレオロジー
MereologyDPLLアルゴリズム
DPLL algorithmSmn定理
Smn theoremアルゴリズム
Algorithm▲1 trendsΜ再帰関数
General recursive function1+1+1+1+…
1 + 1 + 1 + 1 + ⋯1/2 + 1/4 + 1/8 + 1/16 + ⋯
1/2 + 1/4 + 1/8 + 1/16 + ⋯1/2 − 1/4 + 1/8 − 1/16 + ⋯
1/2 − 1/4 + 1/8 − 1/16 + ⋯1/4 + 1/16 + 1/64 + 1/256 + ⋯
1/4 + 1/16 + 1/64 + 1/256 + ⋯1/100
Hundredth0
0▼-1 trends1
12
23
34
45
56
67
78
89
91048576
12345679
カントール代数
Cantor algebra▲1 trends完備ブール代数
Complete Boolean algebraブール値モデル
Boolean-valued model▼-1 trendsTemplate:Settheory-stub
Template:Settheory-stubオイラー図
Euler diagram可算集合