21位決定性公理推定知名度 0.04%決定性公理（けっていせいこうり、axiom of determinacy）とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無…
22位ダイヤモンド原理推定知名度 0.02%数学、特に公理的集合論において、ダイヤモンド原理 ◊ （ダイヤモンドげんり、diamond principle）とはB. イェンセンによって1972年に導入された組み合わせ論的…
23位外延性の公理推定知名度 0.02%外延性の公理(がいえんせいのこうり、axiom of extensionality)は、ZF公理系を構成する公理の一つで、「全く同じ要素からなる2つの集合は等しい」ことを主張す…
24位カントールの定理推定知名度 0%初等的な集合論において、カントールの定理 (Cantor's theorem) は次のように述べている。任意の集合 A に対して、A のすべての部分集合の集合（A の冪集合）は…
25位空集合の公理推定知名度 0%空集合の公理 (くうしゅうごうのこうり、) は、ZF集合論やKP集合論の公理の一つで、「いかなる集合も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用し…
26位可算選択公理推定知名度 0%可算選択公理（Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一…
決定性公理推定知名度 0.04%決定性公理（けっていせいこうり、axiom of determinacy）とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無…決定性公理推定知名度 0.04%決定性公理（けっていせいこうり、axiom of determinacy）とは、1962年に、によって提出された集合論の公理である。もとの決定性公理はゲーム理論に言及し、可算無…
