ヒュームの原理

ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術(second-order arithmetic)と呼ばれているもののすべての公理が論理的必然として導かれることが証明される。このことの帰結がフレーゲの定理の名で知られるものであり、新論理主義の名で知られる数学の哲学を基礎づけている。