Sistema axiomático
Un sistema axiomático es un conjunto de axiomas desde el cual se pueden deducir teoremas.
Preguntas de examen
editar- ¿Cuáles son los componentes de un sistema axiomático formal? Definir cada uno.
- ¿Qué es una demostración?
- ¿Cuáles son las tres propiedades de los sistemas axiomáticos formales? Explicar cada una.
- ¿Qué significa interpretar un sistema axiomático formal?
- ¿Qué es un modelo de un sistema axiomático formal?