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

9.6.4.3. Формальная арифметика
по версии Э. Мендельсона

9.6.4.3.1. Введение     9.6.4.3.2. Аксиоматика системы S