ヒュームの原理(Hume's Principle、''HP''と略称される)とは、数''F''sと数''G''sの間に一対一対応(全単射)があるとき、''F''sと''G''sは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中心的役割を果たしている。フレーゲによれば、この原理およびそれに適合して定義された算術概念をもとにして、今日では二階算術(second-order arithmetic)と呼ばれてい......
ヒュームの原理(Hume's Principle、''HP''と略称される)とは、数''F''sと数''G''sの間に一対一対応(全単射)があるとき、''F''sと''G''sは等しいとする原理。ジョージ・ブーロス(George Boolos)によって命名された。ヒュームの原理は二階述語論理の考え方に沿って定式化できる。ヒュームの原理はゴットロープ・フレーゲの数学の哲学において中......