"choice axiom" Deutsche bedeutung