"Vollständigkeitsaxiom" Englisch