From Encyclopedia of Mathematics
Revision as of 17:26, 7 February 2011 by (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A reasoning conducted according to certain rules in order to demonstrate some proposition (statement, theorem); it is based on initial statements (axioms). In practice, however, it may also be based on previously demonstrated propositions. Any proof is relative, since it is based on certain unprovable assumptions. Rules of conducting a reasoning and methods of proof form a main topic in logic. See Proof theory.

How to Cite This Entry:
Proof. A.S. Kuzichev (originator), Encyclopedia of Mathematics. URL:
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098