I’d like to make a suggestion for some supplementary reading.

The Logicomix

It’s a comic, and a very quick read. If you’re unfmaliar with the state of mathmatics prior to Godel’s theorems this is an excellent way to understand the context around Godel’s work. In the first few chapters you’re going to hear about Bertrand Russell and his quest for absolute truth. This story is about him, and why he did his work attempting to codify the foundations of math.