Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \

9.6.4. Основания математики

Начало см. здесь.
 
Наряду с геометрией арифметика является наиболее непосредственно интуитивной областью математики. Вполне естественно поэтому именно с арифметики начать попытку формализации и строгого обоснования математики.
Э. Мендельсон
9.6.4.1. Наипростейшая арифметическая системка      9.6.4.2. "Основы анализа" Эдмунда Ландау
9.6.4.3. Формальная арифметика по версии Э. Мендельсона      9.6.4.4. Арифметика с точки зрения логического программирования
9.6.4.5. Набросок "алгебры прямоугольников"      9.6.4.6. Моделирование числовых систем внутри геометрии
9.6.4.7. Непрерывность и иррациональные числа      9.6.4.8. Рекурсивная арифметика Р. Л. Гудстейна
9.6.4.9. Некоторые основные концепции, относящиеся к числовым системам (С. К. Клини)
9.6.4.10. Теория частично-рекурсивных функций      9.6.4.11. Типизация универсума и типизация языка
9.6.4.12. Основания теории множеств