Citizendium - a community developing a quality, comprehensive compendium of knowledge, online and free.
Click here to join and contribute
CZ thanks our previous donors. Donate here. Treasurer's Financial Report

Proof (mathematics)

From Citizendium
Revision as of 21:09, 12 August 2020 by Pat Palmer (Talk | contribs) (adding links)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and subject to a disclaimer.

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.