プリンキピア・マテマティカ
『プリンキピア・マテマティカ』(Principia Mathematica: 数学原理)は、数学の基礎に関する著作である。
アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、全3巻からなるそれは、記号論理学において、明示された公理の一組と推論規則から、数学的真理すべてを得る試みである。
『数学原理』のための主要な霊感と動機の1つは論理学に関するフレーゲの初期の仕事である。それがラッセルのパラドックスをもたらすことをラッセルが発見したのは本書が成立する以前のことである。プリンキピアは、哲学と数学と論理学において、アリストテレスの『オルガノン』以来もっとも重要で独創的な仕事の一つと、著者の一人であるホワイトヘッドを含めた多くの専門家に考えられている。
モダン・ライブラリーは、この本を20世紀のノンフィクション書籍上位100のリスト(Modern Library 100 Best Nonfiction)の23位に位置づけた。
231]\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \equiv .\iota 'x.\smallfrown \iota 'y=\Lambda .}
[ ∗ 13.12 ] ≡ . α ⌢ β = Λ ( 1 ) {\displaystyle [*13.12]\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \equiv .\alpha \smallfrown \beta =\Lambda \ \ \ \ \ \ (1)}
⊢ . ( 1 ) . ∗ 11 ⋅ 11 ⋅ 35. ⊃ {\displaystyle \vdash .(1).*11\cdot 11\cdot 35.\supset }
⊢: . ( ∃ x , y ) . α = ι ′ x . β = ι ′ y . ⊃: α ⌣ β ∈ 2. ≡ .