Аннотация:
Хорошо известна теорема Соловея об арифметической полноте логики доказуемости Гёделя-Лёба $GL$. Техника разработанная Соловеем для доказательства этой теоремы в дальнейшем была использована для
доказательства арифметической полноты ряда других логик. В доказательстве Соловея арифметические предложения, в рамках необходимых контрпримеров, строятся в качестве определенных арифметических
неподвижных точек.
В этом докладе будет рассказано новое доказательство арифметической полноты $GL$. В рамках этого доказательства необходимые арифметические предложения строятся непосредственным образом.
|
