Sistemas axiomáticos

1. basados en

1.1. Aristóteles (lógica)

1.1.1. se crea la

1.1.1.1. Geometría Euclidiana

1.1.1.1.1. con

2. Propiedades

2.1. Independientes

2.2. Consistentes

2.2.1. No hay negación

2.3. Completos

3. Sistemas contemporáneos

3.1. Axiomas

3.1.1. Enunciados que se aceptan sin verdades o demostraciones.

3.2. Teoremas

3.2.1. Enunciados deductivos que se demuestran a partir de otros.

3.3. Reglas de inferencia

3.3.1. Si el enunciado es verdadero, la conclusión lo será.

3.4. Demostraciones

3.4.1. Nuevos teoremas a partir de otros demostrados anteriormente.

4. Saccheri

4.1. mediante demostración indirecta

4.1.1. 2 hipótesis en contra

4.1.1.1. se origina la

4.1.1.1.1. Geometría No Euclidiana