Арифметика Пеано

Арифметика Пеано — теория первого порядка с равенством, описывающая свойства натуральных чисел. Впервые неформально была предложена итальянским математиком Джузеппе Пеано.

Вернуться к просмотру

Обсуждение