Definition of


Logical mathematical arguments used to show the truth of a mathematical statement.

In a proof we can use:
• axioms (self-evident truths) such as "we can join any two points with a straight line segment" (one of Euclid's Axioms)
• existing theorems, that have themselves been proven.

The result of a proof is often called a theorem.

See: Theorem
Copyright © 2018