A statement in a formal system that has proof.

important mathematical statements which can be proven by postulates, definitions, and/or previously proved theorems [Go to source

A statement that can be proved.

A main result. Usually the proof is somewhat involved and the result is interesting and useful. Constructive Proof

a proposition deducible from basic postulates

an idea accepted as a demonstrable truth

a formula for which a zero-premise derivation has been provided

a formula that can be derived from the axioms by applying the rules of inference

a mathematical fact that has been proved from more basic facts

a mathematical statement that can be justified with a logical proof

a non-obvious mathematical fact

a proposition deduced from an axiom

a proposition to be proved by a chain of reasoning

a sentence that has been proved

a statement in a formal language that is necessarily true, while a theory is a well-supported explanation for observed events

a statement susceptible of logical proof when certain facts are accepted as true

a statement that has been proved by a logical reasoning process

a statement that has been proven, or can be proven, from the postulates

a statement which can be derived from those axioms by application of these rules of inference

a statement which can be proven true within some logical framework

a statement which has been proved to be true

a Whig proposition--the benefit of which to any one but the Whigs always requires to be demonstrated

A mathematical statement or rule that is proven to be true.

A proposition that can be deduced from the premises of a system.

A statement that has been proved true.

A statement that has been proven to be true.

a logical proposition that follows from basic definitions and assumptions

(noun) A formula, proposition, or statement in mathematics or logic deduced or to be deduced from other formulas or propositions. (A theorem is the last step, after other statements have been proved.)

A theorem (IPA pronunciation: , from vulgar Latin theÅrÄ“ma, Greek Î¸ÎµÏŽÏÎ·Î¼Î± "spectacle, speculation, theory") is a proposition that has been or is to be proved on the basis of explicit assumptions. Proving theorems is a central activity of mathematicians. Note that "theorem" is distinct from "theory".