1位ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …
2位公理推定知名度 5.16%公理（こうり、Axiom）とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを…
3位選択公理推定知名度 3.73%選択公理（せんたくこうり、、選出公理ともいう）とは公理的集合論における公理のひとつで、どれも空でないような集合を元とする集合（すなわち、集合の集合）があったときに、それぞれの集…
4位連続体仮説推定知名度 2.57%連続体仮説（れんぞくたいかせつ、Continuum Hypothesis, CH）とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントー…
5位ラッセルのパラドックス推定知名度 2.23%ラッセルのパラドックス（：Russell's paradox）とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902…
6位自己言及のパラドックス推定知名度 1.56%哲学および論理学における自己言及のパラドックス（じこげんきゅうのパラドックス）または嘘つきのパラドックスとは、「この文は偽である」という構造の文を指し、自己を含めて言及しようと…
7位リシャールのパラドックス推定知名度 0.58%リシャールのパラドックス（リシャールの逆説、Richard's paradox）はパラドックスのひとつ。0から1までの実数をひとつ明確に定義する日本語の文をリシャール文と呼ぶこ…
8位計算理論推定知名度 0.52%計算理論（けいさんりろん、theory of computation）は、計算機科学と数学の一部で、計算模型やアルゴリズムを理論的にあつかう学問である。計算複雑性理論、計算可能…
9位型理論推定知名度 0.4%型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（…
10位モデル理論推定知名度 0.34%モデル理論（model theory）は、数理論理学による手法を用いて数学的構造（例えば、群、体、グラフ：集合論の宇宙）を研究（分類）する数学の分野である。モデル理論における研…
ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …ゲーデルの不完全性定理推定知名度 6.74%ゲーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理の一つで、クルト・ゲーデルが1930年に証明したものである。; …
