I have a blog post that does a somewhat deeper dive into how to build a self-referential sentence @ https://r6.ca/blog/20190223T161625Z.html where I attempt to answer the question:
> I never understood the step about how a system that can do basic arithmetic can express the "I am not provable in F" sentence. Does anyone have an ELI30 version of that?