Стандартная модель арифметики и все, все, все

[vek88]

AGu в сообщении #280731 писал(а):

... у нас нет никаких разногласий. Собственно говоря, я полагал, что у нас их и не было.

Вот и прекрасно.

А я повторюсь - приятно говорить с человеком, который все понимает с полуслова, попутно исправляя корявые мысли собеседника.

[vek88]

Маленькое объявление

В теме Основания математики - элементарное рассмотрение topic29047.html мне удалось, наконец, собраться с мыслями и изложить популярно методологию нефинитной формализации. Так вот, для справки, интуитивная арифметика формализуема в полных К-системах. Разумеется, эта формализация полна и непротиворечива.