Preface
This attempt at exposition of Gödel’s Incompleteness Theorem was inspired or provoked by somebody else’s attempt at the same thing, in a blog post that a friend directed me to (by means of a Twitter message on November 17, 2020). I wanted in response to set the theorem in the context of mathematics rather than computer science.