List of axioms, List of axioms - Alternates incompatible with AC, List of axioms - Axiom of choice, List of axioms - Equivalents of AC, List of axioms - Geometry, List of axioms - Other axioms, List of axioms - Other axioms of mathematical logic, List of axioms - Weaker than AC, List of axioms - Zermelo-Frankel axioms
ARTICLES RELATED TO List of axioms - Zermelo-Frankel axioms
These are the de facto standard axioms for contemporary mathematics
Axiom of extensionality
Axiom of empty set
Axiom of pairing
Axiom of union
Axiom of infinity
Axiom schema of replacement
Axiom of power set
Axiom of regularity
Axiom of separation
Axiom schema of specification
See also Zermelo set theory.
...
With the Zermelo-Frankel axioms above, this makes up the system ZFC in which most mathematics is potentially formalisable
List of axioms - Equivalents of AC.
Hausdorff maximality theorem
Well-ordering principle
Zorn's lemma
List of axioms - Weaker than AC.
Axiom of countable choice
Axiom of dependent choice
Boolean prime ideal theorem
Axiom of uniformization
List of axioms - Alternates incompatible with ACSee also:
