Britannica
Sources used in this answer
How are axioms, postulates, and theorems different in Euclidean geometry?
Created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
Euclidean geometry
This diagram depicts three basic theorems that triangles are congruentâthat is, they are of equal shape and sizeâif: (1) two sides and the included angle are equal, designated SAS; (2) two angles and the included side are equal, designated ASA; or (3) all three sides are equal, designated SSS.
In Euclidean geometry, axioms, postulates, and theorems serve distinct roles in building a logical system:
- Axioms (Common Notions): These are self-evident, foundational principles accepted as true without proof. Historically, they were viewed as general truths applicable across various sciences, such as "things equal to the same thing are equal".12
- Postulates: These are specific, unprovable assumptions that serve as the starting point for geometry. While modern mathematicians often use "axiom" and "postulate" interchangeably, Euclid distinguished them as requirements specific to geometric construction, such as the ability to draw a straight line between two points.12
- Theorems: Unlike axioms and postulates, a theorem is a proposition that must be demonstrated or proved using the established foundations. Theorems are the logical consequences derived from the initial axioms and postulates, forming the body of geometric knowledge.32
While axioms and postulates provide the necessary, unproven starting assumptions, theorems represent the verified conclusions reached through rigorous logical deduction.23