Проблема неполноты арифметики

[epros]

Nobody85 в сообщении #506367 писал(а):

Насколько я знаю, непротиворечивость арифметики Пеано доказана с помощью метода трансфинитной индукции.

Кстати, забыл добавить, что трансфинитная индукция до ординала $\varepsilon_0$ (которой доказывается непротиворечивость арифметики Пеано первого порядка) как раз реализуема в арифметике второго порядка, но нереализуема в арифметике первого порядка.