Question: What von Neumann work preceded the axiomatiztion of quatum mechanics?
Sentence: After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics.
Answer in sentence: yes