フレーゲの定理

3行要約

1. 算術の諸法則が、純粋な論理学の規則と定義のみから導出できるという定理。
2. ゴットロープ・フレーゲが提唱し、数学を論理学に還元しようとする「論理主義」の核となった。
3. 現代の数理論理学や分析哲学の形成に決定的な影響を与えた。