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