20 Арифметики

Формализм арифметик первого и второго порядка: - сигнатура - виды аксиом (равенство, операции, порядок, индукции) - схема свертывания Классификация арифметик в зависимости от набора аксиом и классов формул в индукции и схеме свертывания. - арифметическая иерархия формул сигма и пи (второпорядковые) Упоминаются арифметики: - Робинсона Q - Пресбургера - Сколема - арифметика Пеано первого порядка - рекрсивная арифметика RCA (второго порядка) - арифметика мат.анализа ACA (второго порядка) - полная арифметика Z2 (полная схема свертывания)