Gentzen's Theorem for the Transfinite Foundation of Peano Arithmetic
Read

Gentzen's Theorem for the Transfinite Foundation of Peano Arithmetic

by vasildinev

Васил Пенчев ТЕОРЕМАТА НА ГЕНЦЕН ЗА ТРАСФИНИТНО ОБОСНОВАВАНЕ НА ПЕАНОВАТА АРИТМЕТИКА Abstract: Gentzen’s completeness theorem of arithmetic by transfinite induction until ���� is very important to us. His argumentation was constructivist or even... More

Read the publication