"completeness axiom" Deutsche bedeutung