"mathematical logic" Deutsche bedeutung