Lista di affermazioni, ognuna giustificata, che termina con l'affermazione cercata, cioè con l'asserto del Teoremasono ammesse sette tipi di giustificazioni:
 

 1.  da un'ipotesi;

 2.  da un ragionamento per assurdo;

 3.  da un'assioma del sistema;

 4.  da un teorema precedentemente dimostrato;

 5.  da un termine definito;

 6.  da un precedente passaggio della dimostrazione;

 7.  da regole di logica.