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

9.6.4.2.4.4. Определение
операции сложения ©

Здесь опять при доказательстве используется Аксиома 5 (см. ее здесь), Аксиому 2 см. здесь.

Здесь опять при доказательстве используется Аксиома 5 (см. ее здесь).
К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \
"Основы анализа" Эдмунда Ландау \ Натуральные числа \