I want to know the answer to the following question:
What von Neumann work preceded the axiomatiztion of quatum mechanics?
All the background I'm provided with is that "After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics.". Is that enough to answer the question?