Sistemas axiomáticos

Начать. Это бесплатно
или регистрация c помощью Вашего email-адреса
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