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

9.6.4.8.5.1. Сложение ©

Начало см. здесь.






Продолжение см. здесь.
  К началу данной страницы
Картинки из квадратов \ Теоретико-множественная математика \ Логика и методология дедуктивных наук \ Основания математики \ Рекурсивная арифметика Р. Л. Гудстейна \ Определение по рекурсии \