Similar to ギルモアのアルゴリズム
矛盾許容論理
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アルティン予想
飯高次元
Iitaka dimensionイェイツのカイ二乗検定
Yates's correction for continuityイェッセンの二十面体
Jessen's icosahedronイェンセンの不等式
Jensen's inequality一般ガウス・ボネの定理
Chern–Gauss–Bonnet theorem一般化されたストークスの定理
Generalized Stokes theorem一般化されたリーマン予想
Generalized Riemann hypothesis伊藤の補題
Itô's lemmaイフ合同心
Yff center of congruence岩澤群
Iwasawa group岩澤理論
Iwasawa theoryヴァイエルシュトラスの楕円函数
Weierstrass elliptic function