先日、教室に通っているある小学生の方からご質問がありましたので、お答えしておきます。
（質問）
１＋１はどうして２になるのか。
（答え）
この等式「１＋１＝２」の記号論理学に基づく厳密な証明は、ラッセルとホワイトヘッドが著した
『プリンピキア・マセマティカ（数学原論）』
（全３巻、1910～1930にかけて出版）
という書物の第１巻の３６２ページに書かれています。
この本はたいへん難解なことで有名で、記号論理学に基づいて数学のすべての結果を厳密に証明しようというたいへん意欲的な目論見のもとで書き始められました。
ところが、だれでも知っている「１＋１＝２」の証明にたどり着くまでに優に３６２ページを費やしてしまいました。
第３巻までで算術に関する数学の基礎を証明し、第４巻は幾何学について厳密な基礎を与える予定でしたが、著者たちは第３巻を書き終えた段階で「もう情熱を失った」と告白して、執筆の続行を断念したということです。