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 "This conclusion is the culmination of 140 pages of brilliant and incisive algebra involving entirely novel axioms.". Is that enough to answer the question?
Answer: yes