Un sistema axiomático es la construcción rigurosa (lógicamente hablando) de una teoría deductiva.