El trabajo explica el siguiente razonamiento: si las verdades matemáticas no son creación humana, entonces necesariamente hay que aceptar la existencia de un Intelecto Eterno que sea su sustento metafísico. La premisa es defendida a partir del descubrimiento gödeliano de la imposibilidad de formalizar la totalidad de las matemáticas en un sistema deductivo formal. A partir de allí se muestra la necesidad de admitir una existencia eidética objetiva de las “entidades matemáticas”. Luego, tomando un argumento de San Agustín en De libero arbitrio, se llega a la necesidad de la existencia de Dios como Intelecto que sostiene el ser de las Ideas
