11位ベリーのパラドックス推定知名度 0.28%ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える…
12位マーティンの公理推定知名度 0.26%数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン とソロヴェイ によって1970年に提唱された、ZFCと独立な命…
13位再帰理論推定知名度 0.24%再帰理論（さいきりろん、Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は…
14位正則性公理推定知名度 0.23%正則性公理（せいそくせいこうり、axiom of regularity）は、別名基礎の公理（きそのこうり、axiom of foundation） とも呼ばれ、ZF公理系を構成…
15位導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
16位ゲーデルの完全性定理推定知名度 0.21%数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigke…
17位ブラリ＝フォルティのパラドックス推定知名度 0.19%ブラリ＝フォルティのパラドックス(Burali-Forti paradox)とは、数学の集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入する…
18位ハウスドルフのパラドックス推定知名度 0.16%ハウスドルフのパラドックス（英: Hausdorff paradox）とは、選択公理を仮定すると、球面の逆説的な分解が存在することを主張した定理（疑似パラドックス）である。つま…
19位ヒルベルトの無限ホテルのパラドックス推定知名度 0.13%ヒルベルトの無限ホテルのパラドックス（ヒルベルトのむげんホテルのパラドックス、）とは、集合論で無限集合を認めると、有限集合の場合と全く違った奇妙な事態が起こることを示すパラドッ…
20位冪集合公理推定知名度 0.12%数学における冪集合公理（べきしゅうごうこうり、axiom of power set）とは、公理的集合論のの一つである。ツェルメロ＝フレンケルの公理系の形式言語において、この公理…
ベリーのパラドックス推定知名度 0.28%ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える…ベリーのパラドックス推定知名度 0.28%ベリーのパラドックス（ベリーの逆説）はパラドックスのひとつ。「19文字以内で記述できない最小の自然数」という文を考える。自然数は可算無限に存在する一方で、日本語19文字で行える…
