Similar to ギルモアのアルゴリズム
マーティンの公理
Martin's axiom無限
Infinity
無限論理
Infinitary logic矛盾許容論理
Paraconsistent logic
命題関数
Propositional function
メタ理論
Metatheoryメタ論理学
Metalogic
メレオロジー
Mereology
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theory
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constant
アルティン予想
アンスコムの例
Anscombe's quartet
アンダーソン–ダーリング検定
Anderson–Darling test
アンの定理
Anne's theoremイーガン予想
Egan conjecture
飯高次元
Iitaka dimension
イェイツのカイ二乗検定
Yates's correction for continuityイェッセンの二十面体
Jessen's icosahedron
イェルムスレウの定理
Hjelmslev's theorem
一般ガウス・ボネの定理
Chern–Gauss–Bonnet theorem
