АРИФМЕТИКА, способ расчета при помощи сложения, вычитания, умножения и деления. Формальную аксиоматическую базу под эти операции подвел Джузеппе Пеано в конце XIX в. Исходя из некоторых постулатов, например, о том, что имеется лишь одно натуральное число единица, можно дать формальное определение множеству натуральных чисел и арифметическим операциям. Умножение можно представить как многократное сложение; вычитание и деление определяются как обратные операции к сложению и умножению. Эти же операции можно распространить на отрицательные, рациональные и иррациональные ЧИСЛА. см. АКСИОМАТИЧЕСКИЙ МЕТОД.
Научно-технический энциклопедический словарь.