101位レリッヒ＝コンドラショフの定理推定知名度 0%数学におけるレリッヒ＝コンドラショフの定理（レリッヒ＝コンドラショフのていり、Rellich–Kondrachov theorem）とは、ソボレフ空間に関するコンパクトな埋め込…
102位自己検証理論推定知名度 0%自己検証理論 (Self-verifying theories) とは、無矛盾で、ペアノ算術よりはるかに弱く、自身の無矛盾性を証明できる算術の一階の体系である。ダン・ウィラード…
103位コンパクト性定理推定知名度 0%コンパクト性定理（）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。つまりあ…
104位ブラムの公理推定知名度 0%計算複雑性理論におけるブラムの公理（ブラムのこうり、Blum axioms）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。こ…
105位空集合の公理推定知名度 0%空集合の公理 (くうしゅうごうのこうり、) は、ZF集合論やKP集合論の公理の一つで、「いかなる集合も含まない集合が存在する」ことを主張するものである。ただし、この公理を採用し…
106位可算選択公理推定知名度 0%可算選択公理（Axiom of countable choice）とは、公理的集合論における公理のひとつで、空でない集合からなる可算な集合族があったときに、それぞれの集合から一…
レリッヒ＝コンドラショフの定理推定知名度 0%数学におけるレリッヒ＝コンドラショフの定理（レリッヒ＝コンドラショフのていり、Rellich–Kondrachov theorem）とは、ソボレフ空間に関するコンパクトな埋め込…レリッヒ＝コンドラショフの定理推定知名度 0%数学におけるレリッヒ＝コンドラショフの定理（レリッヒ＝コンドラショフのていり、Rellich–Kondrachov theorem）とは、ソボレフ空間に関するコンパクトな埋め込…
