How Many Theorems Exist in Mathematics? A Data-Driven Estimate

The answer depends on what you count as a theorem — and how deep you’re willing to dig.

How Many Math Theorems Are Indexed in Major Databases

• ProofWiki, the open database of mathematical proofs, currently lists over 20,000 theorems, lemmas, and propositions.
• MathWorld by Wolfram contains around 13,000 articles, many of which include several theorems each.
• The TheoremProver automated proof system has formalized over 100,000 theorems, spanning arithmetic, algebra, topology, and logic.
• Major formal mathematics libraries such as Lean, Coq, and HOL Light have each formalized tens of thousands of theorems — for instance, the Lean community’s Mathlib contained over 20,000 theorems just a couple of years ago.

Counting Mathematical Theorems: What Historical Estimates Tell Us

According to an estimate by M. Krüger (1995), by the end of the 20th century more than 250,000 mathematical theorems had been published across journals, books, and monographs. That was nearly 30 years ago — and the pace of publication has only increased since then.

In 2023 alone, arXiv.org published over 50,000 papers in the mathematics section. Even if only 10% of them contain new theorems, that still amounts to 5,000 new results in a single year.

The Hidden Layer: Unpublished and Informal Theorems

Many theorems never make it into formal publications. They live in lecture notes, dissertations, conference talks, and researchers’ personal notebooks. An even larger body of results exists only as drafts and half-formed ideas that haven’t yet been shaped into a rigorous proof.

How Many Math Theorems Exist Today — A Realistic Estimate

An exact count is extremely difficult to pin down. The best current estimate: somewhere between several hundred thousand and millions of statements that can rightfully be called theorems. And new ones are added every single week.