Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
Рекурсивная арифметика Р. Л. Гудстейна
\
9.6.4.8.4. Введение
©
9.6.4.8.4.1. Природа чисел
9.6.4.8.4.2. Определение Фреге — Рассела
9.6.4.8.4.3. Число и цифра
9.6.4.8.4.4. Арифметика и игра в шахматы
9.6.4.8.4.5. Числовые переменные
9.6.4.8.4.6. Определение счета
9.6.4.8.4.7. Формализация счета
9.6.4.8.4.5. Эволюция понятия формальной системы
