論理主義(フレーゲ)ろんりしゅぎ

算術を論理学だけから導き直そうとするフレーゲの綱領で、『算術の基礎』1884と『算術の基本法則』1893/1903を貫く中心事業である。ラッセルのパラドクス指摘により第V法則の瑕疵が露わとなり生前の完遂には至らなかったが、後のラッセル&ホワイトヘッド『プリンキピア・マテマティカ』(1910-13)はこの計画の型理論的再構築として受け継がれた。