If an essentially undecidable theory T is interpretable in a consistent theory S, then S is also essentially undecidable.
Ако је неодлучиву теорију T могуће интерпретирати у конзистентној теорији S, онда је и S неодлучива.