Similar to クレイグの補間定理

• 

  無限論理

  Infinitary logic
  
• 

  矛盾許容論理

  Paraconsistent logic
  
• 

  命題関数

  Propositional function
  
• 

  メタ理論

  Metatheory
  
• 

  メタ論理学

  Metalogic
  
• 

  モデル理論

  Model theory
  
• 

  有限演算

  Finitary
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  連言標準形

  Conjunctive normal form
  
• 

  ロッサーのからくり

  Rosser's trick
  
• 

  論理式 (数学)

  Logical formula
  
• 

  論理プログラミング

  Logic programming
  
• 

  演繹定理

  Deduction theorem
  
• 

  カントールの定理

  Cantor's theorem
  
• 

  クリーネの再帰定理

  Kleene's recursion theorem
  
• 

  ゲーデルの加速定理

  Gödel's speed-up theorem
  
• 

  ケーニヒの定理 (集合論)

  Kőnig's theorem (set theory)
  
• 

  コンパクト性定理

  Compactness theorem
  
• 

  フレーゲの定理

  Frege's theorem
  
• 

  ベルンシュタインの定理

  Schröder–Bernstein theorem
  
• 

  ポストの定理

  Post's theorem
  
• 

  ライスの定理

  Rice's theorem
  
• 

  レーヴェンハイム–スコーレムの定理

  Löwenheim–Skolem theorem
  
• 

  数学

  Mathematics
  ▲1 trends

  
• 

  0.999...

  0.999...
  ▲1 trends

  
• 

  0次元

  Zero-dimensional space
  
• 

  0の0乗

  Zero to the power of zero
  
• 

  1次元

  One-dimensional space