В 19 веке в Италии жил выдающийся математик Джузеппе Пеано. Он впервые дал формальное определение натурального числа. Он же является автором так называемой аксиоматики Пеано натуральных чисел. Именно аксиомы Пеано помогут нам ответить на наш вопрос. Джузеппе Пеано утверждал, что натуральными числами, или натуральным рядом, называется множество N (общепринятое обозначение), которое удовлетворяет следующим аксиомам:
1) В N существует натуральное число 1, называемое единицей;
2) За каждым натуральным числом n непосредственно следует однозначно определенное натуральное число n’, называемое следующим за числом n;
Замечание: далее всюду число, следующее за натуральным числом n, будем обозначать символом n’.
3) 1 (единица) не следует ни за каким натуральным числом, то есть не существует такого натурального числа n, что n’ = 1;
4) Если некоторое натуральное число n’ следует сразу за числом n, а также следует сразу за числом m, то числа n и m тождественно равны;
5) Пусть какое-нибудь утверждение верно для 1 (единицы). Тогда, если мы предположим, что это утверждение верно для некоторого натурального числа n, и из этого предположения получим, что оно верно и для следующего за n натурального числа, то мы сможем заключить, что наше утверждение верно для любого натурального числа.
Пеано определяет также операции сложения и умножения на множестве натуральных чисел.
Операция сложения по Пеано – это такая операция «+», которая обладает следующими свойствами:
6) n + 1 = n’;
7) n + m’ = (n + m)’;
Операция умножения по Пеано – это такая операция « ∙ », которая обладает следующими свойствами:
8) n ∙ 1 = n;
9) n ∙ m’ = n ∙ m + n.
Для операции сложения также выполняются следующие свойства:
1) (n + m) + k = n + (m + k) для любых натуральных чисел n, m, k (это свойство называется ассоциативность);
2) n + m = m + n для любых натуральных чисел n, m (это свойство называется коммутативность).
Аналогичные свойства выполняются и для умножения:
1) (n ∙ m) ∙ k = n ∙ (m ∙ k) для любых натуральных чисел n, m, k (ассоциативность);
2) n ∙ m = m ∙ n для любых натуральных чисел n, m (коммутативность);
И, наконец, свойство, которое связывает операции сложения и умножения:
n ∙ (m + k) = n ∙ m + n ∙ k для любых натуральных чисел n, m, k (это свойство называется дистрибутивность).
Таким образом, благодаря Пеано, мы получили все, что нам необходимо для работы с натуральными числами. Теперь давайте разберемся, как же применять эти аксиомы, и попытаемся ответить на главный вопрос, который стоит перед нами: почему 2 ∙ 2 = 4?
Пример. Доказать, что 2 + 2 = 4.
Доказательство.
Используем аксиоматику Пеано и получим:
2 + 2 = 2 + 1’ = [аксиома 7] (2 + 1)’ = [аксиома 6] (2’)’ = 3’ = 4.
Пример.Доказать, что 2 ∙ 2 = 4.
Доказательство.Используем аксиоматику Пеано и получим:
2 ∙ 2 = 2 ∙ 1’ = [аксиома 9] 2 ∙ 1 + 2 = [аксиома 8] 2 + 2.
А в предыдущем примере мы уже доказали, что 2 + 2 = 4. Таким образом, можем заключить, что 2 ∙ 2 и вправду равно 4!
