An axiomatic formalization of Löb's Theorem, based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/