In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.
https://github.com/davepinch/pinchy.cc/blob/master/content/sites/quantamagazine.org/how-godels-proof-works-20200714.md