"undecidability" Deutsche bedeutung