Category:証明可能性論理

• 

  レーブの定理

  Löb's theorem