What type of axioms were used by von Neumann in his lattice work