теорема о неразрешимости

Мат. undecidability theorem