“Gödel had shown him that if someone succeeded in creating a formal system of axioms that was free of all internal paradoxes and contradictions, it would always be incomplete, because it would contain truths and statements that—while being undeniably true—could never be proven within the laws of that system.”