Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Формальная арифметика по версии Э. Мендельсона \

9.6.4.3.2. Аксиоматика системы S ©

Сейчас мы построим некоторую теорию первого порядка S, основанную на системе аксиом Пеано, которая окажется, по всей видимости, достаточной для вывода всех основных результатов элементарной арифметики.


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