Аннотация:
Изучаются косвенно рефлексивные предложения в арифметике Пеано (в предположении, что данная теория $\omega$-непротиворечива), говорящие о доказуемости или опровержимости. Доказываются достаточные условия существования неразрешимых косвенно рефлексивных предложений.
Полный текст:
PDF файл (411 kB)