Overview

A theorem is a statement in mathematics that has been shown to follow necessarily from agreed assumptions by means of logic. Unlike empirical claims, which are supported by observation, the truth of a theorem rests on a chain of deductive steps from axioms, definitions and previously proved results. A proven proposition becomes part of the body of mathematical knowledge and can be used as a premise in later proofs.

Most theorems are presented with two parts: hypotheses (or premises) and a conclusion. The hypotheses list conditions under which the conclusion holds; the statement is meaningful only when those conditions are satisfied. Related labels distinguish roles in mathematical reasoning: a lemma is a subsidiary result used to prove a more important theorem, a corollary is an immediate consequence of a theorem, and a proposition is usually a result of intermediate importance. The word theory refers to a systematic collection of definitions, axioms, and theorems often developed to study a particular subject area.

Common proof methods

Proofs demonstrate why a conclusion follows from hypotheses and may take many forms. Standard techniques include direct deduction, proof by induction, proof by contradiction or contrapositive, and constructive proofs that exhibit an object with desired properties. Some arguments use probabilistic, geometric, or algebraic constructions, and many modern proofs combine several approaches. For an overview of logical reasoning used in these procedures see deduction.

  • Direct proof: deduce the conclusion step by step from assumptions.
  • Induction: establish a base case and an inductive step to cover infinitely many cases.
  • Contradiction: assume the negation of the conclusion and derive an impossibility.
  • Computer-assisted verification: reduce the problem to many cases checked by programs.

Computer-assisted proofs, which rely on exhaustive searches or complex computations, changed professional practice in the late 20th century. Famous examples are the four color theorem and the Kepler conjecture, both established with substantial machine verification. Some celebrated results that were conjectures for centuries—such as Fermat's Last Theorem—were eventually proved using deep connections across fields like number theory and combinatorics.

History and notable examples

The practice of proving theorems dates back to ancient mathematics: Euclid's Elements organized geometric results into axioms and proved propositions in a deductive system. Over time proofs became more formal and diversified. The Pythagorean theorem remains a paradigmatic early theorem because of the many distinct proofs that illustrate different methods. Other milestones—such as the classification of finite simple groups, the proof of Fermat's Last Theorem, and the development of modern set theory—demonstrate how theorems can shape entire mathematical disciplines.

Uses, significance and distinctions

Theorems serve as reliable building blocks: once established, they allow mathematicians to derive further conclusions without reestablishing basics. This cumulative structure makes mathematics efficient and expandable. It is important to distinguish theorems from conjectures (unproven statements proposed as plausible) and from empirical scientific theories, which are supported by observation rather than by formal proof. In formal logic and foundations, questions of provability and independence—whether a statement can be proved from a given set of axioms—are central to understanding the limits of mathematical systems.

Notable facts

Some theorems are called "trivial" because they follow directly from definitions, while others are described as "deep" when their proofs are long, difficult, or unexpectedly connect distant areas. Developments in automated theorem proving and formal verification continue to influence how proofs are written and checked. For further reading on the roles and practice of rigorous proof, consult introductory texts and specialized surveys in mathematical logic and the philosophy of mathematics.

Mathematics overview · Logic and proof · Lemma · Hypotheses · Deduction · Theory · Fermat's Last Theorem · Number theory · Combinatorics · Four color theorem · Kepler conjecture