"undecidable" Deutsche bedeutung