Análisis y Formalización de los Conceptos Geométricos Intuitivos: Incidencia, Paralelismo, Perpendicularidad, Ángulo, Etc.