text: Теперь построим неразрешимое предложение системы S, то есть предложение A, для которого ни A, ни не-A невыводимы, следующим образом: Формулу в S с точно одной свободной натурально-числовой переменной назовём класс-выражением.