"ordering axiom" Deutsche bedeutung