Similar to 型理論

• 

  6

  6
  
• 

  7

  7
  
• 

  8

  8
  
• 

  9

  9
  
• 

  1048576

  
• 

  12345679

  
• 

  Template:Mathlogic-stub

  Template:Mathlogic-stub
  
• 

  裏 (論理学)

  Inverse (logic)
  
• 

  緩成長階層

  Slow-growing hierarchy
  
• 

  逆

  Converse (logic)
  
• 

  逆含意

  Converse implication
  
• 

  形式論理学

  Formal logic
  
• 

  シュタイニッツ数

  Supernatural number
  
• 

  ショアのアルゴリズム

  Shor's algorithm
  ▼-1 trends

  
• 

  証明 (数学)

  Mathematical proof
  
• 

  推論

  Inference
  
• 

  スーダン関数

  Sudan function
  
• 

  ダウンタック記号

  Tee (symbol)
  
• 

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

  Church–Rosser theorem
  
• 

  中間論理

  Intermediate logic
  
• 

  低基底定理

  Low basis theorem
  
• 

  ディック言語

  Dyck language
  
• 

  二重再帰法

  Double recursion
  
• 

  二重否定の除去

  
• 

  任意

  Arbitrariness
  
• 

  背理法

  Proof by contradiction
  
• 

  反例

  Counterexample
  
• 

  比例記号