Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Формальная арифметика по версии Э. Мендельсона
\
9.6.4.3.2. Аксиоматика системы S
©
Сейчас мы построим некоторую теорию первого порядка
S
, основанную на
системе аксиом Пеано
, которая окажется, по всей видимости, достаточной для вывода всех основных результатов элементарной арифметики.
К началу данной страницы
Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Формальная арифметика по версии Э. Мендельсона
\