Similar to 選択公理
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
CFL条件
Courant–Friedrichs–Lewy condition
0
0
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
12345679
外延性の公理
Axiom of extensionality
空集合の公理
Axiom of empty set
決定性公理
Axiom of determinacy
正則性公理
Axiom of regularity
置換公理
Axiom schema of replacement
対の公理
Axiom of pairing
分出公理
Axiom schema of specification
冪集合公理
Axiom of power set
マーティンの公理
Martin's axiom無限公理
Axiom of infinity和集合の公理
Axiom of union
可算選択公理
Axiom of countable choice
ケーニヒの定理 (集合論)
Kőnig's theorem (set theory)
ケーニヒの補題
Kőnig's lemma