<human>: Question: What type of axioms were used by von Neumann in his lattice work?

Is "This conclusion is the culmination of 140 pages of brilliant and incisive algebra involving entirely novel axioms." the correct answer?

OPTIONS:
- yes
- no
<bot>: yes