"mathematical logic"@en . "Mathematische Logik"@de . . . "set theory"@en . "Mengenlehre"@de . "theory of sets"@en . .