Similar to 置換公理
外延性の公理
Axiom of extensionality
空集合の公理
Axiom of empty set
正則性公理
Axiom of regularity
対の公理
Axiom of pairing
冪集合公理
Axiom of power set
マーティンの公理
Martin's axiom
無限公理
Axiom of infinity和集合の公理
Axiom of union
DPLLアルゴリズム
DPLL algorithm
Smn定理
Smn theorem
アルゴリズム
Algorithm▲2 trends
公理図式
Axiom schema
Μ再帰関数
General recursive function
レーブの定理
Löb's theorem
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8▲1 trends
9
9
12345679
決定性公理
Axiom of determinacy
選択公理
Axiom of choice
分出公理
Axiom schema of specification