"model theory" Deutsche bedeutung