After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics.
What von Neumann work preceded the axiomatiztion of quatum mechanics?
axiomatization of set theory