Формальна арифметика
Матеріал з Вікіпедії — вільної енциклопедії.
Формальна арифметика - розділ математичної логіки, що займається аналізом аксіоматичної теорії арифметики.
[ред.] Дивись також
Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її. |