theorem (redirected from Theorematic)

theorem, in mathematics and logic, statement in words or symbols that can be established by means of deductive logic; it differs from an axiom in that a proof is required for its acceptance. A lemma is a theorem that is demonstrated as an intermediate step in the proof of another, more basic theorem. A corollary is a theorem that follows as a direct consequence of another theorem or an axiom. There are many famous theorems in mathematics, often known by the name of their discoverer, e.g., the Pythagorean Theorem, concerning right triangles. One of the most famous problems of number theory was the proof of Fermat's Last Theorem (see Fermat, Pierre de); the theorem states that for an integer n greater than 2 the equation xⁿ+yⁿ=zⁿ admits no solutions where x, y, and z are also integers.

---

theorem

In mathematics or logic, a statement whose validity has been established or proved. It consists of a hypothesis and a conclusion, beginning with certain assumptions that are necessary and sufficient to establish a result. A system of theorems that build on and augment each other constitutes a theory. Within any theory, however, only statements that are essential, important, or of special interest are called theorems. Less important statements, usually stepping-stones in proofs of more important results, are called lemmas. A statement proved as a direct consequence of a theorem is a corollary of the theorem. Some theorems (and even lemmas and corollaries) are singled out and given titles (e.g., Gödel's theorem, fundamental theorem of algebra, fundamental theorem of calculus, Pythagorean theorem).

---

theorem

Maths Logic a statement or formula that can be deduced from the axioms of a formal system by means of its rules of inference

---

theorem [′thir·əm]

(mathematics)

A proven mathematical statement.