ヒュームの原理
ヒュームの原理（Hume's Principle、"HP"と略称される）とは、数"F"sと数"G"sの間に一対一対応（全単射）があるとき、"F"sと"G"sは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。

ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術(second-order arithmetic)と呼ばれているもののすべての公理が論理的必然として導かれることが証明される。このことの帰結がフレーゲの定理の名で知られるものであり、新論理主義の名で知られる数学の哲学を基礎づけている。
Q180907
全単射
Concept
None
ジョージ・ブーロス
UNK
Q1548746
二階述語論理
Concept
Q60028
ゴットロープ・フレーゲ
PER
None
二階算術
UNK
second-order arithmetic
UNK
Q1052005
フレーゲの定理
Concept
None
新論理主義
UNK
Q1553014
ヒュームの原理
UNK
Q1553014
ヒュームの原理
UNK
Q1553014
ヒュームの原理
UNK
named after