El documento presenta una línea de tiempo de los principales problemas y debates sobre la fundamentación de las matemáticas desde la antigua Grecia hasta el siglo XX. Algunos hitos incluyen las paradojas de Zenón que cuestionaron la noción de infinito en el siglo V a.C., los trabajos de Frege, Russell y otros lógicos del siglo XIX para fundamentar las matemáticas en la lógica, y las escuelas intuicionista y formalista del siglo XX que propusieron reconstruir las matemáticas sin el infinito o basadas