アルフレッド・ノース・ホワイトヘッド
アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセルによって書かれ、1910年から1913年に出版された、全3巻からなるそれは、記号論理学において、明示された公理の一組と推論規則から、数学的真理すべてを得る試みである。