Значит, арифметика была логикой в последней инстанции, и арифметические понятия должны быть проанализированы в чисто логических терминах: «вычислить значит вывести». Говоря словами Фреге, «арифметические предложения — это логические законы, хотя не первичные, а производные». Если упростить окаменелую строгость работ Фреге, в которых педантичности и точности поровну, можно сказать, что он пришел к определению чисел с помощью классов, то есть с помощью множеств, или ансамблей. Каждому натуральному числу соответствовал класс всех классов, которые были подобны (равномощны) заданному. Например, число 3 — это то, что есть общего у всех следующих классов: лепестки трилистника, цвета светофора и так далее. Таким образом, число 3 может быть идентифицировано классом всех этих классов. В целом Фреге идентифицировал число 0 с классом всех пустых классов, 1 — с классом всех одночленных классов, и так далее. И поскольку есть только одно пустое множество (которое обозначается как перечеркнутый кружок, здесь заменен Ǿ), 0 = Ǿ. Тогда число 1 определяется как класс из всех классов, равномощных классу [Ǿ], обладающий единственным элементом. Аналогично определялись остальные числа.
АКСИОМЫ ПЕАНО
В 1888 году Рихард Дедекинд опубликовал книгу с привкусом логицизма «Что такое числа и для чего они служат»(Гильберт прочитал ее в молодости). Однако Дедекинд определил натуральные числа принципиально иначе, чем Фреге. В 1889 году в книге под названием «Принципы арифметики, изложенные согласно новому методу» итальянский математик Джузеппе Пеано подтвердил аргументы Дедекинда, хотя и не был знаком с его работой, и определил натуральные числа посредством трех первоначальных понятий (нуль, функция последующего члена и равенство) и пяти аксиом.
1. Нуль есть натуральное число.
2. Следующее за натуральным числом есть натуральное число.
3. Нуль не следует ни за каким натуральным числом.
4. Всякое натуральное число следует только за одним натуральным числом.
5. Если какое-либо предложение доказано для нуля и если из допущения, что оно верно для натурального числа А, вытекает, что оно верно для следующего за А натурального числа, то это предложение верно для всех натуральных чисел.
Пятая аксиома получила название принципа индукции и является основополагающей для доказательства теоремы о натуральных числах без необходимости проверять каждое из них по одному. Принцип формализует интуитивное представление о том, что когда все фишки домино выстроены в одну линию, падение первой из них (нуля) предполагает падение всех остальных (всех натуральных чисел). На основе этих аксиом можно определить сложение и умножение натуральных чисел, а также расположить их в упорядоченном виде. Результат известен как арифметика Пеано.
