A sentence which has objective and logical meaning.
a statement which is offered up for investigation as to its truth or falsehood.
Is used throughout the whole of mathematics to mean a statement which is accepted as true for that particular branch.
Is used throughout the whole of mathematics to mean a statement which has been proved to be true from whichever axioms relevant to that particular branch.
Note: In a mathematical paper, the term theorem is often reserved for the most important results.
A minor result whose sole purpose is to help in proving a theorem.
Note: lemma is seen more as a stepping-stone than a theorem in itself (and frequently takes a lot more work to prove than the theorem to which it leads).
Some lemmas are famous enough to be named after the mathematician who proved them (for example: Abel’s Lemma and Urysohn’s Lemma), but they are still categorised as second-class citizens in the aristocracy of mathematics.)
A proof which is a direct result, or a direct application, of another proof.
Note: It can be considered as being a proof for free on the back of a proof which has been paid for with blood, sweat and tears. Also, a result in which the (usually short) proof relies heavily on a given theorem
an assumption made.
A precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.
A statement that is unproved, but is believed to be true
An assertion that is then proved. It is often used like an informal lemma.
A statement that can be shown, using a given set of axioms and definitions, to be both true and false.
Note: paradoxes are often used to show the inconsistencies in a flawed theory. The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules