Аннотация:
Известная теорема Р.Соловея об арифметической полноте логики доказуемости Гёделя–Лёба GL утверждает, что для всякой недоказуемой в GL формулы существует опровергающая её оценка утверждениями арифметики Пеано PA. В доказательстве Соловея необходимая оценка строилась с помощью арифметических неподвижных точек. В предлагаемом доказательстве соответствующая оценка строится с использованием более явно задаваемых формул.
Обратная связь: