"ordering axioms" Deutsche bedeutung