The supporting argument assumes the consistency of arithmetic as a fixed, established fact, but Göde...