Si el sistema explicita los axiomas y las reglas que permiten derivar sus teoremas, decimos que este es un sistema formal axiomático.