Translation of "Mengensatz" in English