Sistemas axiomáticos

登録は簡単!. 無料です
または 登録 あなたのEメールアドレスで登録
Sistemas axiomáticos により Mind Map: 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