Löb's theorem

برابر انگلیک (انگلیسی): Löb's theorem