Картинки из квадратов
\
Теоретико-множественная математика
\
Логика и методология дедуктивных наук
\
Основания математики
\
"Основы анализа" Эдмунда Ландау
\
9.6.4.2.4. Натуральные числа
9.6.4.2.4.1. Соглашения о равенстве и неравенстве
9.6.4.2.4.2. Пять "аксиом Пеано"
9.6.4.2.4.3. Элементарные следствия из аксиом
9.6.4.2.4.4. Определение операции сложения
9.6.4.2.4.5. Закон ассоциативности сложения