"Wohlordnungsprinzip, Wohlordnungssatz" Englisch