Similar to 対の公理
正則性公理
Axiom of regularity
冪集合公理
Axiom of power set
無限公理
Axiom of infinity
和集合の公理
Axiom of union
外延性の公理
Axiom of extensionality空集合の公理
Axiom of empty set
置換公理
Axiom schema of replacement
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω-論理
Ω-logic
アロンシャイン木
Aronszajn tree▲1 trends公理的集合論
Set theory#Axiomatic set theory
Δ-システム補題
Sunflower (mathematics)▲1 trends
Grundzüge der Mengenlehre
Grundzüge der Mengenlehre
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
0
0
1
1▲1 trends
2
2
3
3▲1 trends
4
4
5
5
6
6
7
7
8
8
9
9
12345679
決定性公理
Axiom of determinacy
選択公理
Axiom of choice