undecidability theorem

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