Для доказательства неразрешимости множества X достаточно доказать, что:
Парадокс лжеца отражает утверждение:
Верно утверждение для множества диафантовых уравнений:
Определению главной универсальной функции адекватно утверждение:
Утверждение "Всякое исчисление, порождающее формулы арифметики либо не адекватно, либо неполно" - это:
Утверждение "Любой алгоритм, перечисляющий множество формул арифметики порождает некоторую ложную формулу, либо не порождает некоторой истинной формулы" - это:
Если X - класс вычислимых одноместных функции, а Y - его подмножество, то верно утверждение:
