El que, para desarrollo y justificación de una teoría, recurre a un sistema axiomático, compuesto por un conjunto de axiomas y de teoremas. Los axiomas son los principios que se toman como fundamento y punto de partida para la demostración, mediante el recurso a reglas de inferencia, de los teoremas, que se consideran las conclusiones el sistema.