プリンキピア・マテマティカ
プリンキピアは、集合論、基数、序数および実数だけをカバーした。実数解析からのより深い定理は含まれていなかったが、知られていた数学の多数が、適用された形式主義で原理的には展開できることが、第3巻の終りまでに明確になった。そのような展開がどんなに長くなるかも同様に明確になった。幾何学についての第4巻が計画されていたが、第3巻が完成した後で、著者たちは知的に枯渇したことを認めた。