Talk:Löb's theorem

From Free net encyclopedia