
related topics 
{math, number, function} 
{theory, work, human} 
{work, book, publish} 
{language, word, form} 
{style, bgcolor, rowspan} 

In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms. The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules. Theorems have two components, called the hypotheses and the conclusions. The proof of a mathematical theorem is a logical argument demonstrating that the conclusions are a necessary consequence of the hypotheses, in the sense that if the hypotheses are true then the conclusions must also be true, without any further assumptions. The concept of a theorem is therefore fundamentally deductive, in contrast to the notion of a scientific theory, which is empirical.^{[2]}
Although they can be written in a completely symbolic form using, for example, propositional calculus, theorems are often expressed in a natural language such as English. The same is true of proofs, which are often expressed as logically organized and clearly worded informal arguments intended to demonstrate that a formal symbolic proof can be constructed. Such arguments are typically easier to check than purely symbolic ones — indeed, many mathematicians would express a preference for a proof that not only demonstrates the validity of a theorem, but also explains in some way why it is obviously true. In some cases, a picture alone may be sufficient to prove a theorem. Because theorems lie at the core of mathematics, they are also central to its aesthetics. Theorems are often described as being "trivial", or "difficult", or "deep", or even "beautiful". These subjective judgments vary not only from person to person, but also with time: for example, as a proof is simplified or better understood, a theorem that was once difficult may become trivial. On the other hand, a deep theorem may be simply stated, but its proof may involve surprising and subtle connections between disparate areas of mathematics. Fermat's Last Theorem is a particularly wellknown example of such a theorem.
Contents
Full article ▸


related documents 
Relation (mathematics) 
Constructivism (mathematics) 
Resource Description Framework 
Rice's theorem 
Logical connective 
Bruteforce search 
Isomorphism 
Field extension 
Chinese remainder theorem 
Preadditive category 
Cauchy–Schwarz inequality 
Trace (linear algebra) 
Locally compact space 
Convergence of random variables 
Division (mathematics) 
NPcomplete 
Axiom schema of specification 
Poincaré conjecture 
Unlambda 
String (computer science) 
Horner scheme 
Euler–Mascheroni constant 
Splay tree 
Transposition cipher 
Linear map 
Miranda (programming language) 
Universal property 
Abel–Ruffini theorem 
Elementary algebra 
Ideal (ring theory) 
