Gödel's incompleteness theorem is well known for proving that the dream of most mathematicians to formulate foundations for a complete and self-consistent theory of mathematics is a futile exercise. Gödel proved that any set of axioms you could posit as a possible foundation for math will inevitably be incomplete; there will always be true facts…