Similar to 低基底定理

• 

  シュタイニッツ数

  Supernatural number
  
• 

  ショアのアルゴリズム

  Shor's algorithm
  ▲1 trends

  
• 

  証明 (数学)

  Mathematical proof
  
• 

  新基礎集合論

  New Foundations
  
• 

  推論

  Inference
  
• 

  スーダン関数

  Sudan function
  
• 

  ダウンタック記号

  Tee (symbol)
  
• 

  チャーチ・ロッサーの定理

  Church–Rosser theorem
  
• 

  中間論理

  Intermediate logic
  
• 

  ディック言語

  Dyck language
  
• 

  二重否定の除去

  
• 

  任意

  Arbitrariness
  
• 

  ハイティング代数

  Heyting algebra
  
• 

  背理法

  Proof by contradiction
  
• 

  ハルモス代数

  Polyadic algebra
  
• 

  反例

  Counterexample
  
• 

  比例記号

  
• 

  プリンキピア・マテマティカ

  Principia Mathematica
  
• 

  補題

  Lemma (mathematics)
  
• 

  無矛盾

  Consistency
  
• 

  メタ言語

  Metalanguage
  
• 

  メレオロジー

  Mereology
  
• 

  有限モデル理論

  Finite model theory
  
• 

  四値論理

  Four-valued logic
  
• 

  量子論理

  Quantum logic
  
• 

  ルジンの分離定理

  Lusin's separation theorem
  
• 

  数学

  Mathematics
  ▲1 trends

  
• 

  0.999...

  0.999...
  ▲1 trends