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.
En 1930 quién dio una respuesta fuertemente negativa a la aproximación de von neuman al sistema axiomático de teoría de los sets?
Kurt Gödel