We presented the provability conditions and showed how a theory with a provability predicate satisfies the second incompleteness theorem. We showed several remarks about the incompleteness results, including Rosser’s proof of the first incompleteness theorem, and Löb’s theorem on sentences asserting their own provability.
We closed with some examples of “mathematically meaningful” sentences independent of 
A kind of library 