数理論理学 のランキング
-
11グッドスタインの定理推定知名度 0.07%グッドスタインの定理（グッドスタインのていり、Goodstein's theorem）は、数理論理...
-
12メタ理論推定知名度 0.06%メタ理論（メタりろん、metatheory）とは、理論についての理論のことである。あらゆる研究領域...
-
13有限モデル理論推定知名度 0.05%有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述...
-
14パースの法則推定知名度 0.05%パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ...
-
15形式の法則推定知名度 0.05%『形式の法則』（けいしきのほうそく, Laws of Form）はイギリス人数学者G・スペンサー＝...
-
16エルブランの定理推定知名度 0.05%エルブランの定理（''Herbrand's theorem''）は1930年にジャック・エルブラン...
-
17クレイグの補間定理推定知名度 0.04%クレイグの補間定理（英: Craig's interpolation theorem）は論理学にお...
-
18吸収法則推定知名度 0.03%Category:代数的構造Category:数理論理学Category:順序構造Category...
-
19自己検証理論推定知名度 0.0%自己検証理論 (Self-verifying theories) とは、無矛盾で、ペアノ算術よりは...