Löbの第2不完全性定理 - Internet Explorer 2.0

Löbの第2不完全性定理

Löbの定理から第2不完全性定理を導くを参照．