Proof (mathematics): Difference between revisions
Jump to navigation
Jump to search
imported>Daniel Mietchen (started) |
imported>Pat Palmer (adding links) |
||
| (2 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
{{subpages}} | {{subpages}} | ||
In [[mathematics]], a '''proof''' | |||
In [[mathematics]], a '''proof''' of a statement | |||
(called [[theorem]], [[proposition]], [[lemma]], etc. according to the context and its importance) | |||
is a series of arguments which show that the assumptions of the statement imply its conclusion. | |||
Besides the assumptions listed explicitely in the statement to be proven, | |||
the arguments — which have to be based on inference rules of mathematical logic — | |||
may use the axioms of the theory and previously proven statements. | |||
Latest revision as of 16:09, 12 August 2020
In mathematics, a proof of a statement (called theorem, proposition, lemma, etc. according to the context and its importance) is a series of arguments which show that the assumptions of the statement imply its conclusion. Besides the assumptions listed explicitely in the statement to be proven, the arguments — which have to be based on inference rules of mathematical logic — may use the axioms of the theory and previously proven statements.