61位SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
62位フォーク定理推定知名度 0.08%フォーク定理（フォークていり、folk theorem）とは、ゲーム理論において、無限回の繰り返し囚人のジレンマ・ゲームにおいて、協力解が均衡解として成立するという理論である。…
63位対の公理推定知名度 0.08%対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在するこ…
64位クルル・シュミットの定理推定知名度 0.07%数学において、クルル・シュミットの定理（Krull-Schmidt theorem）とは、加群や群の直既約分解の一意性に関する定理である。「クルル・シュミットの定理」の他にも「…
65位出版バイアス推定知名度 0.07%出版バイアス（publication bias）とは、否定的な結果が出た研究は、肯定的な結果が出た研究に比べて公表されにくいというバイアス（偏り）である。公表バイアスとも言う。…
66位トゥエ・ジーゲル・ロスの定理推定知名度 0.07%トゥエ・ジーゲル・ロスの定理（Thue–Siegel–Roth theorem）、あるいは単にロスの定理 は、代数的数に対するディオファントス近似におけ…
67位グッドスタインの定理推定知名度 0.07%グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる…
68位メタ理論推定知名度 0.06%メタ理論（メタりろん、metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場…
69位積分差分方程式推定知名度 0.06%数学の分野における積分差分方程式（せきぶんさぶんほうていしき、integrodifference equation）とは、ある関数空間上の漸化式で、次のような形状で表されるもの…
70位四点共円定理推定知名度 0.06%平面上で、直線上にない 3 点が与えられているとき、これら 3 点をすべて通る円が 1 つ存在し、それはこの 3 点を頂点とする三角形の外接円に等しい（c.f.三角形の心）。と…
SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
