Glosario Enunciados de lógica / Término
Es la organización de un conjunto de enunciados de tal forma que, partiendo de algunos de sus miembros (axiomas) y mediante la aplicación de una serie de reglas de transformación, se pueda derivar los restantes enunciados (teoremas) de la teoría en cuestión.
La forma clásica de formalización es la forma axiomática.
Enlace permanente: Sistema axiomático - Fecha de creación: 2014-02-07