Similar to ゲーデルの完全性定理
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
チャーチ・ロッサーの定理
Church–Rosser theorem
ベルンシュタインの定理
Schröder–Bernstein theorem
ポストの定理
Post's theorem
ライスの定理
Rice's theorem
ルジンの分離定理
Lusin's separation theorem
数学のエポニムの一覧
アーベルの定理
アインシュタインの定数
Einstein's constant
アルティン–シュライヤーの定理
アルティン相互法則
Artin reciprocity
アルティン予想
アルティン・リースの補題
Artin–Rees lemmaアルハゼンの定理
アルバネーゼ多様体
Albanese variety
アレクサンダー多項式
Alexander polynomial
アレクサンドル・グロタンディークが考えたこと
List of things named after Alexander Grothendieck
アレクサンドロフの定理
Alexandrov theorem
アンスコムの例
Anscombe's quartet
アンダーソン–ダーリング検定
Anderson–Darling test
アンの定理
Anne's theorem