How Gödel’s Proof Works
by
Natalie Wolchover
https://www.quantamagazine.org/how-godels-proof-works-20200714/