プリンキピア・マテマティカ
初等教育では 1+1=2 は自明のこととして扱われるが、公理から出発して証明された命題のみを真実として認める、というエウクレイデス以来の哲学からすると、1+1=2 の論理的な位置付けを明らかにすることが望まれる。数学基礎論が整備されつつあった時代に、ホワイトヘッドとラッセルは、数学の基礎的な部分を完全に形式的に展開することを目標として『プリンキピア・マテマティカ』を著した。この書物では、記号論理学的な準備に数百項が費やされており、実際に十進法の演算が定義されて 1+1=2 が証明されるまで700ページあまりを必要としている。