El trabajo es un análisis, desde el punto de vista axiomático, de los números realistas y la geometría discreta creados en "Idolatría en las matemáticas". Primero se irán viendo las diferentes recomendaciones y errores que se han encontrado en el libro, para finalizar con una propuesta para comenzar una formalización que se considera absolutamente necesaria.
