Proof (mathematics)/Definition

A link between a mathematical statement and some ground truth.