Pero von Neumann, que había participado en el congreso, confirmó su fama de pensador instantáneo y, en menos de un mes, estuvo en disposición de comunicarle a Gödel una interesante consecuencia de su teorema: los sistemas axiomáticos usuales son incapaces de demostrar su propia consistencia.