Similar to 一階述語論理

• 

  保存拡大

  Conservative extension
  
• 

  マーティンの公理

  Martin's axiom
  
• 

  無限

  Infinity
  
• 

  無限論理

  Infinitary logic
  
• 

  矛盾許容論理

  Paraconsistent logic
  
• 

  メタ理論

  Metatheory
  
• 

  メタ論理学

  Metalogic
  
• 

  モデル理論

  Model theory
  
• 

  有限演算

  Finitary
  
• 

  有限モデル理論

  Finite model theory
  
• 

  ラムダ計算

  Lambda calculus
  
• 

  レーブの定理

  Löb's theorem
  
• 

  連言標準形

  Conjunctive normal form
  
• 

  ロッサーのからくり

  Rosser's trick
  
• 

  論理プログラミング

  Logic programming
  
• 

  数学

  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
  
• 

  1+1

  
• 

  1+1+1+1+…

  1 + 1 + 1 + 1 + ⋯
  
• 

  1+2+3+4+…

  1 + 2 + 3 + 4 + ⋯
  
• 

  1+2+4+8+…

  1 + 2 + 4 + 8 + ⋯
  
• 

  1の冪根

  Root of unity
  
• 

  1の補数

  Ones' complement
  
• 

  1−1+2−6+24−120+…

  1 − 1 + 2 − 6 + 24 − 120 + ⋯
  
• 

  1−2+3−4+…

  1 − 2 + 3 − 4 + ⋯