Чтобы строго доказать, что 2×3=6, математики спуск...

Чтобы строго доказать, что 2×3=6, математики спускаются на самый базовый уровень арифметики — к аксиомам Пеано. Эта система была сформулирована итальянским математиком Джузеппе Пеано в 1889 году и описывает свойства натуральных чисел с помощью минимального набора правил.

В этой системе нет готовых чисел «2», «3» или «6», и нет готовых таблиц умножения. Все числа и операции конструируются с нуля.

Шаг 1. Создаем числа
В фундаменте математики лежат аксиомы Пеано, которые задают базовые правила для натуральных чисел:

0 является натуральным числом.
За каждым числом n следует ровно одно число S(n) (функция следования).
0 не следует ни за каким числом.
Если S(a)=S(b), то a=b (разные числа имеют разные следующие за ними числа).
Аксиома индукции: если свойство верно для 0 и из его истинности для n следует истинность для S(n), то оно верно для всех чисел.
Опираясь на первые две аксиомы, мы строго определяем все остальные числа:

1=S(0)
2=S(1)
3=S(2)
4=S(3)
5=S(4)
6=S(5)
Шаг 2. Задаем правила сложения
Сложение задаётся не отдельными аксиомами, а двумя рекурсивными определениями:

Определение сложения 1: a+0=a (прибавление нуля ничего не меняет).
Определение сложения 2: a+S(b)=S(a+b) (прибавить следующее за b число — это то же самое, что взять число, следующее за суммой a+b).
Шаг 3. Задаем правила умножения
Умножение также вводится через два рекурсивных определения, опирающихся на сложение:

Определение умножения 1: a×0=0
Определение умножения 2: a×S(b)=(a×b)+a (умножить a на следующее за b число — это то же самое, что умножить a на b, а затем прибавить a).
Шаг 4. Само доказательство
Теперь у нас есть все инструменты, чтобы вычислить 2×3. В терминах нашей системы нам нужно найти значение выражения 2×S(2), так как 3=S(2).

Применяем Определение умножения 2:
2×3=2×S(2)=(2×2)+2

Чтобы решить это, нам нужно узнать, чему равно 2×2. Снова применяем то же определение, зная, что 2=S(1):
2×2=2×S(1)=(2×1)+2

Теперь ищем 2×1, зная, что 1=S(0):
2×1=2×S(0)=(2×0)+2

Наконец, по Определению умножения 1 мы знаем, что 2×0=0.

Теперь собираем всё обратно снизу вверх:

2×1=0+2=2
2×2=2+2
2×3=(2+2)+2
Осталось строго доказать, что (2+2)+2=6, используя определения сложения.

Сначала докажем, что 2+2=4:
2+2=2+S(1)
По Определению сложения 2 это равно S(2+1).
Распишем единицу: S(2+S(0)).
Снова применяем определение: S(S(2+0)).
По Определению сложения 1 (2+0=2), получаем S(S(2)).
Мы знаем, что S(2)=3, а S(3)=4. Значит, 2+2=4.

Теперь докажем финальную часть: 4+2=6:
4+2=4+S(1)
=S(4+1)
=S(4+S(0))
=S(S(4+0))
=S(S(4))

По нашим определениям чисел из Шага 1:
S(4)=5
S(5)=6

Итог: 2×3=6.

Как объяснить это ребёнку
Хотя формальное доказательство нужно для математической строгости, ребёнку эту же логику можно показать наглядно:

Возьмите кубики или яблоки и создайте две группы по три предмета.
Объясните, что умножение (2×3) — это сложение одинаковых групп (3+3).
Вместе пересчитайте все предметы по одному: 1, 2, 3, 4, 5, 6. Это покажет, что абстрактное правило умножения всегда опирается на простой последовательный счёт.
Таким образом, школьное правило 2×3=6 — это не просто заученный факт, а неизбежное логическое следствие из самых базовых определений того, что такое число, сложение и умножение. В начале XX века математики (в частности, Бертран Рассел и Альфред Уайтхед в труде Principia Mathematica) потратили сотни страниц строгой логики, чтобы доказать 1+1=2, заложив именно такой фундамент для всей арифметики.