Это, несомненно, чрезвычайно продвинутый уровень математического курса,
который сосредотачивает внимание на аксиомах Пеано для естественных чисел,
которые формализовали математику в конце 19 века.
Кульминацией этого курса будет вторая теорема Геделя о неполноте,
которая показывает, что правильность этих аксиом
не может быть доказана с помощью самой
(
Read more... )