"undecidable set" Deutsche bedeutung