1位ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …
2位型理論推定知名度 0.4%型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（…
3位モデル理論推定知名度 0.34%モデル理論（model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。モデル理論における研…
4位マーティンの公理推定知名度 0.26%数学の集合論におけるマーティンの公理（マーティンのこうり、Martin's axiom, MA）とは、マーティン とソロヴェイ によって1970年に提唱された、ZFCと独立な命…
5位再帰理論推定知名度 0.24%再帰理論（さいきりろん、Recursion theory）は、数理論理学の一分野で、1930年代の計算可能関数とチューリング次数の研究が源となっている。発展の過程で、この分野は…
6位導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
7位ゲーデルの完全性定理推定知名度 0.21%数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigke…
8位ブラリ＝フォルティのパラドックス推定知名度 0.19%ブラリ＝フォルティのパラドックス(Burali-Forti paradox)とは、数学の集合論におけるパラドックスの一つであり、「全ての順序数の集合」という概念を素朴に導入する…
9位カリーのパラドックス推定知名度 0.1%カリーのパラドックス（Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生…
10位SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …
