In formal mathematics an axiom is a formula or schema of formulas that is stipulated as true (and therefore not requiring proof). Axioms are the counterpart in mathematics of suppositions, assumptions, or premises in ordinary syllogistic logic.

A mathematical theory may be understood as consisting of all of the statements that may be derived from its axioms. For example, Euclidean-geometry is based on Euclid’s well-known five axioms (typically called postulates in geometry), and common set theory is usually taken as the theory of the Zermelo-Fränkel axioms.

Citation Info

  • [MLA] “axiom.” Platonic Realms Interactive Mathematics Encyclopedia. Platonic Realms, 21 Feb 2013. Web. 21 Feb 2013. <>
  • [APA] axiom (21 Feb 2013). Retrieved 21 Feb 2013 from the Platonic Realms Interactive Mathematics Encyclopedia:


Get the ultimate math study-guide Math & Me: Embracing Successproduct thumbnail image Available in the Math Store
detail from Escher pic Belvedere

Are you a mathematical artist?

Platonic Realms is preparing an online gallery space to showcase and market the works of painters, sculptors, and other artists working in a tangible medium.

If your work celebrates mathematical themes we want to hear from you!

Please let us know about yourself using the contact page.