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.

In real life: a formal explanation why something is true.

Definition of

# Proof

See: Theorem