Формальна арифметика

Матеріал з Вікіпедії — вільної енциклопедії.

Формальна арифметика - розділ математичної логіки, що займається аналізом аксіоматичної теорії арифметики.

[ред.] Дивись також


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.