> stopped relying on common sense This I learned from GEB too I think, the aha moment around 200 years ago when people understood formal axiom system can be ar

> stopped relying on common sense This I learned from GEB too I think, the aha moment around 200 years ago when people understood formal axiom system can be arbitrary, and even counterintuitive. Rather than creating a crisis of confidence, and the collapse of the field, it was the start of a whole new era for mathematics (and eventually physics, e.g. it's hard to imagine something like, I don't know, relativity, if math/physics had remained rooted in "common sense").