Similar to 有限モデル理論
アドラティクリット
Adratiklit2021年アトランタ連続銃撃事件
2021 Atlanta spa shootings
アトランティス 失われた帝国
Atlantis: The Lost Empire
アトランティス7つの海底都市
Warlords of Atlantis
アトランティックジャイアント
Giant pumpkin
Template:Mathlogic-stub
Template:Mathlogic-stub
裏 (論理学)
Inverse (logic)
緩成長階層
Slow-growing hierarchy
逆
Converse (logic)
逆含意
Converse implication
形式論理学
Formal logic
シュタイニッツ数
Supernatural number
ショアのアルゴリズム
Shor's algorithm
証明 (数学)
Mathematical proof
新基礎集合論
New Foundations
推論
Inference
スーダン関数
Sudan function
ダウンタック記号
Tee (symbol)
チャーチ・ロッサーの定理
Church–Rosser theorem
中間論理
Intermediate logic
低基底定理
Low basis theorem
ディック言語
Dyck language二重再帰法
Double recursion
二重否定の除去
任意
Arbitrariness
背理法
Proof by contradiction
反例
Counterexample
比例記号