ヒュームの原理

ウィキペディア

ヒュームの原理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/03/26 00:22 UTC 版)

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