Löb's paradox

Etymology
Named after, due to its relationship to Löb's theorem.