Sistema Axiomático

Un sistema axiomático es un conjunto de axiomas que se utiliza para derivar teoremas de manera lógica.

Esencialmente, es una forma de construir un cuerpo de conocimiento (como la geometría) a partir de un número mínimo de suposiciones iniciales, asegurando que todo lo que se demuestre sea lógicamente sólido.

Todo sistema axiomático formal se compone de cuatro partes esenciales:

• Conceptos primitivos
• Axiomas
• Definiciones
• Teoremas