21位ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…
22位カリーのパラドックス推定知名度 0.1%カリーのパラドックス（Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生…
23位和集合の公理推定知名度 0.09%和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものであ…
24位SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
25位対の公理推定知名度 0.08%対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在するこ…
26位グッドスタインの定理推定知名度 0.07%グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理学における自然数に関する命題であり、「全てのグッドスタイン数列は必ず0で終わる…
27位メタ理論推定知名度 0.06%メタ理論（メタりろん、metatheory）とは、理論についての理論のことである。あらゆる研究領域はそれぞれ、何らかのメタ理論を共有しており、それは明示された正しい理論である場…
28位有限モデル理論推定知名度 0.05%有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造（有限群、グラフ、データベース、多くの計算模型な…
29位パースの法則推定知名度 0.05%パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に…
ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…
