31位エルブランの定理推定知名度 0.05%エルブランの定理（Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…
32位ヒュームの原理推定知名度 0.04%ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(…
33位クレイグの補間定理推定知名度 0.04%クレイグの補間定理（英: Craig's interpolation theorem）は論理学における定理であり、論理体系によってその定義が異なる。William Craig …
34位決定性公理推定知名度 0.04%決定性公理（けっていせいこうり、axiom of determinacy）とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無…
36位ダイヤモンド原理推定知名度 0.02%数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、diamond principle）とはB. イェンセンによって1972年に導入された組み合わせ論的…
37位外延性の公理推定知名度 0.02%外延性の公理(がいえんせいのこうり、axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張す…
38位カントールの定理推定知名度 0%初等的な集合論において、カントールの定理 (Cantor's theorem) は次のように述べている。任意の集合 A に対して、A のすべての部分集合の集合（A の冪集合）は…
39位自己検証理論推定知名度 0%自己検証理論 (Self-verifying theories) とは、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系である。ダン・ウィラード…
40位コンパクト性定理推定知名度 0%コンパクト性定理（）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりあ…
エルブランの定理推定知名度 0.05%エルブランの定理（Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…エルブランの定理推定知名度 0.05%エルブランの定理（Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…
