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.

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

- 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 schema of specification

See also Zermelo set theory.

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

- Axiom of countable choice
- Axiom of dependent choice
- Boolean prime ideal theorem
- Axiom of uniformization

- Parallel postulate
- Birkhoff's axioms (4 axioms)
- Hilbert's axioms (20 axioms)
- Tarski's axioms (10 axioms and 1 schema)

- Axiom of Archimedes (real number)
- Axiom of countability (topology)
- Dirac–von Neumann axioms
- Fundamental axiom of analysis (real analysis)
- Gluing axiom (sheaf theory)
- Haag–Kastler axioms (quantum field theory)
- Huzita's axioms (origami)
- Kuratowski closure axioms (topology)
- Peano's axioms (natural numbers)
- Probability axioms
- Separation axiom (topology)
- Wightman axioms (quantum field theory)
- Action axiom (praxeology)