List of axioms

List of axioms

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

Zermelo-Frankel axioms

"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 of separation
* Axiom schema of specification

See also Zermelo set theory.

Axiom of choice

"With the Zermelo-Frankel axioms above, this makes up the system ZFC in which most mathematics is potentially formalisable."

Equivalents of AC

*Hausdorff maximality theorem
*Well-ordering principle
*Zorn's lemma

Weaker than AC

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

Alternates incompatible with AC

*Axiom of real determinacy

Other axioms of mathematical logic

*Von Neumann-Bernays-Gödel axioms
*Continuum hypothesis and its generalization
*Freiling's axiom of symmetry
*Axiom of determinacy
*Axiom of projective determinacy
*Martin's axiom
*Axiom of constructibility
*Kripke-Platek axioms


*Parallel postulate
*Birkhoff's axioms
*Hilbert's axioms
*Tarski's axioms

Other axioms

*Axiom of Archimedes (real number)
*Axiom of countability (topology)
*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)

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • List of mathematics articles (L) — NOTOC L L (complexity) L BFGS L² cohomology L function L game L notation L system L theory L Analyse des Infiniment Petits pour l Intelligence des Lignes Courbes L Hôpital s rule L(R) La Géométrie Labeled graph Labelled enumeration theorem Lack… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… …   Wikipedia

  • List of important publications in mathematics — One of the oldest surviving fragments of Euclid s Elements, found at Oxyrhynchus and dated to circa AD 100. The diagram accompanies Book II, Proposition 5.[1] This is a list of important publications in mathematics, organized by field. Some… …   Wikipedia

  • List of general topology topics — This is a list of general topology topics, by Wikipedia page. Contents 1 Basic concepts 2 Limits 3 Topological properties 3.1 Compactness and countability …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • List of statements undecidable in ZFC — The following is a list of mathematical statements that are undecidable in ZFC (the Zermelo–Fraenkel axioms plus the axiom of choice), assuming that ZFC is consistent.Functional analysisCharles Akemann and Nik Weaver showed in 2003 that the… …   Wikipedia

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.