フレーゲの定理
フレーゲの定理(Frege's theorem)とは、算術の公理（ペアノの公理）は二階述語論理においてヒュームの原理から演繹できるとする定理のこと。ゴットロープ・フレーゲによって最初1884年刊行の『算術の基礎』("Die Grundlagen der Arithmetik")において略式で証明され、さらに1893年と1903年に出版された2巻本『算術の基本法則』("Grundgesetze der Arithmetik)"において正確に証明された。フレーゲの定理は1980年代前半にクリスピン・ライトによって再発見され、重要な研究主題となっている。新論理主義(neo-logicism)の名で知られる数学の哲学の考え方の核心である。
Q11205
算術
Concept
Q17736
公理
Concept
Q842755
ペアノの公理
Concept
Q1548746
二階述語論理
Concept
Q1553014
ヒュームの原理
UNK
Q60028
ゴットロープ・フレーゲ
PER
None
クリスピン・ライト
UNK
None
新論理主義
UNK
Q180536
数学の哲学
Concept
Q1052005
フレーゲの定理
Concept
Q1052005
フレーゲの定理
Concept
136-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1884年
DATE
127-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1893年
DATE
117-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1903年
DATE
2020-02-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
2
DATE
40-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1980年
DATE
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
named after
part of
named after