Категория:Формальные теории арифметики
Перейти к навигации
Перейти к поиску
Эти системы обеспечивают наборы аксиом для формального изучения арифметики в контексте математической логики.
Страницы в категории «Формальные теории арифметики»
Показаны 4 страницы из 4, находящихся в данной категории. Список ниже может не отражать последних изменений.
