Mit diesem Beitrag von von Neumann wurde das, System der Theorie der Sets voll zufriedenstellend, und die nächste Frage war, ob es auch endgültig war, und nicht von der Verbesserung. Eine stark negative Antwort kam im September 1930 auf dem historischen mathematischen Kongress von Königsberg, in dem Kurt Gödel seinen ersten Satz von Unvollständigkeit bekannt gegeben hat: die üblichen, Systeme sind unvollständig, in dem Sinne, dass sie nicht jede Wahrheit beweisen können, die es ist, in ihrer Sprache. Dieses Ergebnis war ausreichend innovativ, um die Mehrheit der Mathematiker der Zeit zu verwirren.
Wo war das Statement von Godel über das,-System im Jahr 1930?
Kongress von Königsberg