Rice's theorem

A theorem that states that any non-trivial property of a set of Turing machines is undecidable.