Similar to 吸収法則
アルキメデスの性質
Archimedean property
宇宙 (数学)
Universe (mathematics)
構造的帰納法
Structural induction
ススリンの問題
Suslin's problem
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm
導出原理
Resolution (logic)
パースの法則
Peirce's law
Μ再帰関数
General recursive function
結合法則
Associative property
交換法則
Commutative property反交換法則
Anticommutative property
分配法則
Distributive property
アーベル群
Abelian group
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