“{W}e can transfer the study of any formal system—in fact the study of” LogicMathematicsMathDouglas HofstadterNumber TheoryFormalismIsomorphism Book:Godel, Escher, Bach: An Eternal Golden Braid Source: Godel, Escher, Bach: An Eternal Golden Braid
“[W]e can transfer the study of any formal system—in fact the study of [all] formal systems—into number theory.” LogicMathematicsMathDouglas HofstadterNumber TheoryFormalismIsomorphism Book:Godel, Escher, Bach: An Eternal Golden Braid Source: Godel, Escher, Bach: An Eternal Golden Braid