Порядковый анализ
- Статья представляет собой таблицу с различными математическими системами и их характеристиками.
- В таблице используются сокращения и обозначения для различных систем и терминов.
- Обсуждаются различные арифметические системы, включая арифметику Робинсона, теорию первого порядка и элементарную функциональную арифметику.
- Также рассматриваются различные формы второго порядка арифметики и их использование в обратной математике.
- Статья представляет собой список сокращений и терминов, связанных с различными математическими системами.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: