Категория:Формальные теории арифметики

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Эти системы обеспечивают наборы аксиом для формального изучения арифметики в контексте математической логики.