Con esta contribución de von Neumann, el sistema axiomático de la teoría de los conjuntos se convirtió en totalmente satisfactorio, y la siguiente pregunta fue si también fue definitivo, y no sujeto a mejora. Una respuesta fuertemente negativa llegó en septiembre de 1930 en el histórico Congreso de königsberg, en el que kurt gödel anunció su primer teorema de incompletitud: los sistemas axiomático habituales están incompletos, en el sentido de que no pueden demostrar toda verdad que es expresable en su idioma. este resultado fue suficientemente innovador como para confundir a la mayoría de los matemáticos de la época.
Cuál fue el tema central del anuncio de gödel que el sistema axiomático no estaba completo?
no pueden demostrar toda verdad que es expresable en su lenguaje