GEB, стр. 99
Арифметика Пеано — "сердцевина" теории чисел. Как абсолютная геометрия.
Но теория чисел тоже разветвляется! Следствие теоремы Гёделя.
В отличие от геометрии — "сортов" теории чисел бесконечно много.
Для практики все версии одинаковы: мосты строятся одинаково.
🌀 Какой тип теории чисел истинен? Вернёмся после Гёделя.