"undecidability theorem" Deutsche bedeutung