List of axioms - Other axioms of mathematical logic

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. ...

See also:

List of axioms, List of axioms - Zermelo-Frankel axioms, List of axioms - Axiom of choice, List of axioms - Equivalents of AC, List of axioms - Weaker than AC, List of axioms - Alternates incompatible with AC, List of axioms - Other axioms of mathematical logic, List of axioms - Geometry, List of axioms - Other axioms

Read more here: » List of axioms: Encyclopedia II - List of axioms - Zermelo-Frankel axioms

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:

List of axioms, List of axioms - Zermelo-Frankel axioms, List of axioms - Axiom of choice, List of axioms - Equivalents of AC, List of axioms - Weaker than AC, List of axioms - Alternates incompatible with AC, List of axioms - Other axioms of mathematical logic, List of axioms - Geometry, List of axioms - Other axioms

Read more here: » List of axioms: Encyclopedia II - List of axioms - Axiom of choice