Sign up ×
English Language & Usage Stack Exchange is a question and answer site for linguists, etymologists, and serious English language enthusiasts. It's 100% free, no registration required.

What is the difference between a theorem and a theory? The two words seem to be used to describe very similar things, but yet do not seem to be interchangeable.

For example, we have Pythagoras' theorem and Einstein's theory of relativity.

share|improve this question

5 Answers 5

up vote 22 down vote accepted

A theorem is a result that can be proven to be true from a set of axioms. The term is used especially in mathematics where the axioms are those of mathematical logic and the systems in question.

A theory is a set of ideas used to explain why something is true, or a set of rules on which a subject is based on.

share|improve this answer
A theorem is not limited to mathematics – Thursagen Aug 23 '11 at 8:35
@Thursagen: even with your answer, I don't see this. Do you have an example of a 'theorem' which is not mathematical (relies on experimental data)? – Mitch Aug 23 '11 at 19:24
Yes. There is a theorem in physics, and that's not mathematical. It's called the Adiabatic theorem – Thursagen Aug 24 '11 at 1:05
@Thursagen The adiabatic theorem can be stated with full rigor in the language of mathematical physics, and is just as mathematical as the Pythagorean theorem. – senshin Apr 25 '14 at 17:01
@Thursagen Seriously? It has the word "eigenvalue" in it – BCLC Jan 24 at 14:29

I found a discussion where people were talking about the same matter, and someone put the difference between "theorem" and "theory" in a nutshell:

Theory - Verifiable Explanation.
Theorem - Demonstrable Explanation.

and explained:

Verifiable will mean that you can show that there is evidence for it. Demonstrable means that you can do it again to show people the evidence, and that they can do it too.

Wikipedia puts forth further differences:

The concept of a theorem is therefore fundamentally deductive, in contrast to the notion of a scientific theory, which is empirical

"Empirical" means, "The word empirical denotes information gained by means of observation or experiments", whereas "deductively" means more of drawing from logic and reason, not facts.

share|improve this answer

From the Shorter Oxford English Dictionary.


A universal or general proposition or statement, not self-evident (thus dist. from axiom), but demonstrable by argument (in the strict sense, by necessary reasoning); 'a demonstrable theoretical judgement'.


A scheme or system of ideas or statements held as an explanation or account of a group of facts or phenomena; a hypothesis that has been been confirmed or estabilished by observation or experiment; a statement of what are held to be the general laws, principles or causes of something known or observed.

share|improve this answer
Your quote is quite right, but the examples are not. Pythagorean theorem is a theorem because it can be deductively proven from the axioms of Euclidean geometry. Testing on real triangles is empirical and inductive on the contrary. – Siyuan Ren Aug 23 '11 at 9:57
You are right, I lost myself trying to summarize everything and just messed it up... :/ – Gurzo Aug 23 '11 at 11:35
@Gurzo: you should modify/edit your answer to fix the problem. – Mitch Aug 23 '11 at 13:36
Deleted further explanations and left only the quoted definitions. – Gurzo Aug 23 '11 at 13:39

To qualify as a theorem, something has to have been proven (or at least believed to be provable) -- the theorem is an inescapable conclusion from some set of axioms. As implied by "provable", in some cases, the word is used to refer to something that hasn't been proven yet, but is believed to be open to logical proof (e.g., Fermat's last theorem remained unproven for centuries, but was eventually proven).

For a theory, you need supporting evidence, but not actual proof. There may easily be two or more competing theories about the same particular subject, each with some supporting evidence but none actually proven.

The difference in requirements means that theories abound in the real world, but theorems are restricted primarily to systems of logical abstraction with clear-cut axioms and rules governing how those axioms can be combined.

This may initially sound like a theorem is a much stronger conclusion than a theory -- and in a way it is. At the same time, it must be noted that while a theorem is typically absolute within its domain, it's also relatively narrow. A theory may support a conclusion much more weakly (if at all), but apply much more directly to real life.

Just for one example, many economic "theories" are really theorems that have been proven -- about drastically simplified models of a real economy. For better or worse, however, many are treated as applying to real life, even though they're based on (often drastically) simplified models.

share|improve this answer

A theorem is a mathematical deduction.

A theory is a collection of statements or 'ways' of thinking that purport to explain a circumscribed set of experiences. A theory can be supported by experimental evidence or anecdotal observation. The term 'theory' can range in connotation from synonymous with 'conjecture' in opposition to 'fact' (e.g. "I have a theory that drinking from the opposite side of the glass stops hiccups"), all the way to a set of theorems on a given set of mathematical structures (e.g. group theory).

share|improve this answer

protected by Will Hunting Sep 21 '12 at 20:40

Thank you for your interest in this question. Because it has attracted low-quality answers, posting an answer now requires 10 reputation on this site.

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.