* An inferential argument for a mathematical statement
* In the argument, other previously established statements, such as theorems, can be used
* In principle, a proof can be traced back to self-evident or assumed statements, known as axioms, along with accepted rules of inference