qnli 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.