Question: What type of axioms were used by von Neumann in his lattice work?
Sentence: This conclusion is the culmination of 140 pages of brilliant and incisive algebra involving entirely novel axioms.
Answer in sentence: yes