Después de haber completado la axiomatización de la teoría de conjuntos, von Neumann empezó a enfrentarse a la axiomatización de la mecánica cuántica.