"vollständiges Mengensystem" Englisch