|  Share | Cite


proof, in mathematics, finite sequence of propositions each of which is either an axiom or follows from preceding propositions by one of the rules of logical inference (see symbolic logic). Mathematical proofs are quite distinct from inductive, statistical, heuristic, analogical, and other types of reasoning or persuasion that are sometimes accepted as proofs in other fields of science or human affairs. Proof theory has developed into one of the important branches of modern mathematical logic. Some schools of mathematical logic reject certain methods in proofs, such as use of the law of excluded middle (either p is true or p is false) or of mathematical definitions involving properties that are not effectively verifiable.

The Columbia Electronic Encyclopedia, 6th ed. Copyright © 2012, Columbia University Press. All rights reserved.

More on in mathematics proof from Infoplease:

  • Q.E.D.: meaning and definitions - Q.E.D.: Definition and Pronunciation
  • A priori - A priori [Latin, from an antecedent ]. An a priori argument is when we deduce a fact from something ...
  • Priori - Priori An argument a priori is one from cause to effect. To prove the existence of God a priori, ...

See more Encyclopedia articles on: Mathematics