cousin_it comments on Formalising cousin_it’s bounded versions of Gödel’s theorem

[cousin_it]

Your first link seems to be almost exactly what I wanted, and the bounded Löb’s theorem should be a simple corollary. Thanks! This really simplifies the task of explaining Löbian cooperation =)