¿Qué es la geometría euclidiana?
- Axiomas I1 – I8
- Relaciones implícitas: «Pertenencia e inclusión»
- Puntos alineados
- Puntos coplanares
- Rectas paralelas
- Rectas secantes
- Teoremas:
- Relaciones primitivas: «Entre»
- Axiomas II1 – II5
- Figura, Figura Convexa, Figura Cóncava
- Segmento
- Semirrecta
- Semiplano
- Teoremas
- «Intersección de figuras convexas«
- «Todo segmento es convexo»
- «Separación de la recta»
- «Toda semirrecta es convexa»
- «Separación del plano»
- «Todo semiplano es convexo»
- «Semirrecta contenida en semiplano»
- Ángulo
- Lados y vértice de un ángulo
- Ángulo nulo y ángulo llano
- Interior y Exterior de un ángulo
- Teoremas
- «El interior de un ángulo es convexo»
- «Segmento con extremos en los lados»
- «De la barra transversal»
Axiomas de Congruencia





