conjetura que durante esas vacaciones Gödel, empleando el volumen 15 de su obra todavía sin publicar "Arbeitshefte" (Cuadernos de notas), descubrió una prueba de la independencia del axioma de elección de la teoría finita de tipos, una forma debilitada de la teoría de conjuntos.