Similar to 選択公理
Annals of Mathematics
Annals of MathematicsAxiom (数式処理システム)
Axiom (computer algebra system)CFL条件
Courant–Friedrichs–Lewy condition0
01
12
23
34
4▼-1 trends5
56
6▼-1 trends7
78
89
912345679
外延性の公理
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