Proof (mathematics): Difference between revisions
Jump to navigation
Jump to search
imported>Peter Schmitt (a modest start for a dificult topic) |
mNo edit summary |
||
| (One intermediate revision by one other user not shown) | |||
| Line 2: | Line 2: | ||
In [[mathematics]], a '''proof''' of a statement | In [[mathematics]], a '''proof''' of a statement | ||
(called theorem, proposition, lemma, etc. according to the context and its importance) | (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. | 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, | Besides the assumptions listed explicitely in the statement to be proven, | ||
the arguments — which have to be based on inference rules of mathematical logic — | the arguments — which have to be based on inference rules of mathematical logic — | ||
may use the axioms of the theory and previously proven statements. | may use the axioms of the theory and previously proven statements.[[Category:Suggestion Bot Tag]] | ||
Latest revision as of 16:00, 7 October 2024
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.