Creo que esta es una excelente pregunta, y espero que a nadie le voto.
Hubo un tiempo en que las matemáticas tenían un objetivo similar. Hubo varias cuestiones que se encuentran en los finales del siglo 19 que ha demostrado que un enfoque ingenuo para las matemáticas llevado a contradicciones. Por ejemplo, el conjunto de todos los conjuntos que no se contienen a sí mismos es contradictoria objeto. No se contienen a sí misma? Si es así, no puede contener en sí mismo. Esta es la Paradoja de Russell. Esto y otras cosas demostró que las matemáticas necesarias para estar fundada en una precisa de la fundación que estableció exactamente lo que cada enunciado matemático que significa en pleno rigor. Estos idiomas son llamados lenguajes formales.
El esfuerzo para resolver estos problemas era conocido en el siglo 20 como la base de la Crisis de las matemáticas. Se esperaba que una fundación se encontró que cubrió todo lo que debe ser cubierto en matemáticas, y que era conocido por ser coherente. En particular, David Hilbert publicado algunos problemas que él cree que es importante para el desarrollo de las matemáticas en el siglo 20, y el segundo de estos problemas se parte de la base ideal: para demostrar que los axiomas de la aritmética fueron consistentes.
Resultó que los axiomas de la aritmética no puede ser probada consistentes en primer orden la lógica sin suponiendo la consistencia de algún otro sistema de primer orden de la suficiente complejidad para hacer una prueba de consistencia no significa mucho. Este es Gödel del Teorema de la Incompletitud, y por supuesto que es preciso, pero acabo de resumir. Luego de Turing y la Iglesia de manifiesto que uno no puede resolver la cuestión de si o no una hoja de cálculo siempre alcanza su objetivo, y esto tiene profundas implicaciones para lo que se puede hacer con las fundaciones. Después de estos descubrimientos, era una especie de facto, que concluyó en la comunidad matemática de que una base ideal era imposible. Por lo tanto no hay mucho de una búsqueda activa de uno ahora mismo.
Debe, sin embargo, debe tenerse en cuenta que Kurt Gödel mismo reconoció que su prueba sólo descartó una manera de tener una fundación. Gödel nunca dijo que una base ideal para las matemáticas era imposible, y parece que él incluso podría haber creído lo contrario. Sin embargo, la corriente principal de las matemáticas no tiene que ver con la búsqueda de un ideal de la fundación en el momento actual.