11位冪集合公理推定知名度 0.12%数学における冪集合公理（べきしゅうごうこうり、axiom of power set）とは、公理的集合論のの一つである。ツェルメロ＝フレンケルの公理系の形式言語において、この公理…
12位ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…
13位和集合の公理推定知名度 0.09%和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものであ…
14位対の公理推定知名度 0.08%対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在するこ…
15位グッドスタインの定理推定知名度 0.07%グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる…
16位ヒュームの原理推定知名度 0.04%ヒュームの原理（Hume's Principle、HPと略称される）とは、数Fsと数Gsの間に一対一対応（全単射）があるとき、FsとGsは等しいとする原理。ジョージ・ブーロス(…
17位決定性公理推定知名度 0.04%決定性公理（けっていせいこうり、axiom of determinacy）とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無…
18位ダイヤモンド原理推定知名度 0.02%数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、diamond principle）とはB. イェンセンによって1972年に導入された組み合わせ論的…
19位外延性の公理推定知名度 0.02%外延性の公理(がいえんせいのこうり、axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張す…
20位カントールの定理推定知名度 0%初等的な集合論において、カントールの定理 (Cantor's theorem) は次のように述べている。任意の集合 A に対して、A のすべての部分集合の集合（A の冪集合）は…
冪集合公理推定知名度 0.12%数学における冪集合公理（べきしゅうごうこうり、axiom of power set）とは、公理的集合論のの一つである。ツェルメロ＝フレンケルの公理系の形式言語において、この公理…冪集合公理推定知名度 0.12%数学における冪集合公理（べきしゅうごうこうり、axiom of power set）とは、公理的集合論のの一つである。ツェルメロ＝フレンケルの公理系の形式言語において、この公理…
