ntuitable, almost nonvisualizable, non-Euclidean geometry (with the new geometric axiom, parallel lines do meet at infinity), as evidence against the Kantian idea of the intuitively accessible, a priori status of geometry. This served as an example of where mathematics naturally resides, and argues in favo