Rice's theorem
Satz von Rice
theorem in computability theory
mathematischer Satz