Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.

No se ha añadido ninguna twiki todavía.

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.