Formalism—where relations hold among symbols that need have no further referents—became an ideal shelter in the revolution that was sweeping through mathematics itself in the nineteenth century. Everyone had taken for granted, over the past two millennia, that Euclid’s geometry described this precious only endless world in which we say we live—or in Kant’s terms, the way mind must spatially conceive.
