I want to know the answer to the following question:
What type of axioms were used by von Neumann in his lattice work?
All the background I'm provided with is that "Anyone wishing to get an unforgettable impression of the razor edge of von Neumann's mind, need merely try to pursue this chain of exact reasoning for himself—realizing that often five pages of it were written down before breakfast, seated at a living room writing-table in a bathrobe."". Is that enough to answer the question?
Answer: no