List of axioms

From Wikipedia, the free encyclopedia

This is a list of axioms as that term is understood in mathematics. In epistemology, the word axiom is understood differently; see axiom and self-evidence. Individual axioms are almost always part of a larger axiomatic system.

ZF (the Zermelo–Fraenkel axioms without the axiom of choice)[edit]

Together with the axiom of choice (see below), these are the de facto standard axioms for contemporary mathematics or set theory. They can be easily adapted to analogous theories, such as mereology.

See also Zermelo set theory.

Axiom of choice[edit]

With the Zermelo–Fraenkel axioms above, this makes up the system ZFC in which most mathematics is potentially formalisable.

Equivalents of AC[edit]

Stronger than AC[edit]

Weaker than AC[edit]

Alternates incompatible with AC[edit]

Other axioms of mathematical logic[edit]


Other axioms[edit]

See also[edit]