71位ヒュームの原理推定知名度 0.04%ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(…
72位クレイグの補間定理推定知名度 0.04%クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig …
74位自己検証理論推定知名度 0%自己検証理論 (Self-verifying theories) とは、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系である。ダン・ウィラード…
75位テオプラストス推定知名度 --%テオプラストス（希: Θεόφραστος, ラテン文字転記：Theophrastos, 英: Theophrastus、紀元前371年 – 紀元前287年）は古代ギリシアのレ…
ヒュームの原理推定知名度 0.04%ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(…ヒュームの原理推定知名度 0.04%ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(…
