Mathematical Terminology: Propositions, Axioms, Theorems, and the Rest

Mathematical writing uses a precise vocabulary to classify statements by their role and their status of proof. Using these terms incorrectly signals a misunderstanding of the structure of mathematical argument. This is a reference for the distinctions that matter.

Statement

A sentence that is either true or false. It makes a claim but does not require proof to be called a statement. The claim may be mathematical or non-mathematical.

“There are infinitely many prime numbers.” (a mathematical statement)

Proposition

A statement offered for investigation as to its truth or falsehood. The term is specifically mathematical. A proposition asserts a fact or makes a claim that is subject to proof or disproof within a formal system.

The distinction from statement is scope: a proposition is a narrower, more formal term confined to mathematical contexts.

Assumption

Statements accepted without proof within a given context. Axioms and postulates are both types of assumptions.

Axiom

A statement accepted as true for a particular branch of mathematics, without requiring proof within that branch. Axioms are the foundational rules of a formal system. A statement taken as an axiom in one branch may be a theorem in another, or entirely irrelevant.

Euclid’s axiom: “If equals are added to equals, the wholes are equal.”

Postulate

A statement assumed to be true as a basis for reasoning, without proof. A postulate functions as a device for building proofs. It carries a subtle sense of “what if this were true,” a working assumption that enables the development of a theory.

Einstein’s first postulate of special relativity: the laws of physics are the same in all inertial frames of reference.

Axiom vs Postulate. The two terms are almost always interchangeable in practice. The subtle distinction, where one exists, is that calling something a postulate may signal slightly less certainty than calling it an axiom. An axiom tends to feel more self-evident. A postulate tends to feel more like a deliberate assumption made to see where it leads.

Proven Statements

Lemmas, theorems, and corollaries are all statements that have been formally proven. They differ in their role and relationship to each other.

Lemma

A proven statement whose primary purpose is to serve as a stepping stone toward a theorem. A lemma is not the end goal. It is an intermediate result proven along the way to a larger proof.

Euclid’s Division Lemma: for any two positive integers a and b, there exist unique integers q and r such that a = bq + r where 0 ≤ r < b. This lemma underlies the Euclidean algorithm for computing greatest common divisors.

Theorem

A statement rigorously proven using axioms, postulates, and lemmas. Theorems are the primary results of mathematical investigation. The proof must follow from the accepted foundations of the branch without gaps.

The Pythagorean Theorem: in a right triangle with legs a and b and hypotenuse c, a² + b² = c².

Corollary

A proven statement that follows directly from a theorem already proven, requiring little or no additional work. A corollary is, in a sense, a proof obtained for free on the back of a harder result.

The word derives from the Latin for a small garland, something extra given on top of something already earned.

If the Pythagorean Theorem is proven, then as a corollary: the hypotenuse of a right triangle is always strictly longer than either leg, since c = √(a² + b²) > a and c > b for all positive a, b.

At a Glance

Term	Proven?	Role
Statement	No	Any true or false sentence
Proposition	No	A statement offered for mathematical investigation
Axiom	No (assumed)	Foundational rule of a formal system
Postulate	No (assumed)	Working assumption used to build a theory
Lemma	Yes	Intermediate result toward a theorem
Theorem	Yes	Primary proven result
Corollary	Yes	Direct consequence of a theorem, little extra work