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

9.6.4.8.5.5. Стандартизированные обозначения ©

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