Почему доказательство 1 + 1 = 2 заняло сотни страниц

Если у вас есть одно яблоко и вам дают ещё одно, получается два. В быту всё очевидно.

Но Уайтхед и Рассел решили вывести арифметику из строгой системы логических аксиом. Для этого они написали трёхтомную Principia Mathematica.

Работу начали в 1903 году и рассчитывали закончить за год. В итоге проект растянулся примерно на десятилетие.

До результата, из которого следовало 1 + 1 = 2, авторы добрались лишь после сотен страниц определений и доказательств.

Иногда самая простая формула требует огромной работы, если доказывать её с самого основания.