How Gödel’s Proof Works


In 1931, the austrian logician pulled off arguably one of the most stunning intellectual achievements in history. A set of basic mathematical facts, or axioms, was consistent and complete, serving as the building blocks of all mathematical truths.
Read more at Quanta Magazine…