definability theorem

Мат. теорема определимости