Satz von Rice

P is not trivial when $\exists M, M^{'}$ with $M \in P$ and $M \in / P$
P is trivial if $P = \emptyset$ or $P = {< M > ∣ any Maschine M}$
P is not semantik if $\exists M, M^{'}$ with $L (M) = L (M^{'})$ , $M \in P$ and $M \in / P$
P is semantik if $\forall M, M^{'}$ with $L (M) = L (M^{'})$ then $M \in P ⟺ M^{'} \in P$