El documento resume la historia de la fundamentación matemática. Comenzó en el siglo XIX con problemas que provocaron una revolución en los cimientos de las matemáticas. En las primeras décadas del siglo XX surgieron paradojas que causaron una crisis. En la década de 1930 hubo una axiomatización y el desarrollo de la lógica matemática. En las décadas de 1950 y 1960 surgió un nuevo fundamento basado en la teoría de conjuntos Zermelo-Fraenkel. La búsqueda de la coherencia y