Similar to 構成可能集合

• 

  ゲーデル解

  Gödel metric
  
• 

  ゲーデル賞

  Gödel Prize
  
• 

  ゲーデル数

  Gödel numbering
  ▲1 trends

  
• 

  ゲーデルの加速定理

  Gödel's speed-up theorem
  
• 

  ゲーデルの完全性定理

  Gödel's completeness theorem
  
• 

  ゲーデルの不完全性定理

  Gödel's incompleteness theorems
  ▲1 trends

  
• 

  再帰理論