Theoretical physics is a deductive discipline which presupposes the validity and applicability of certain other disciplines. Among these are logic, algebra, analysis, and geometry. Before relativity, Euclidean geometry was the only one thought to be important for physical space. These disciplines correlate well with experience, and, in the course of time, a priori validity came to be ascribed to them. To Kant, for example, the universe could not possibly be based on any geometry other than Euclid's. The discovery of non-Euclidean geometries by Bolyai and Lobatchevsky, its systematic extension by Riemann, and the critical scrutiny of foundations by Mach and Poincaré shook the “self-evident truth” of Euclidean geometry as applied to the world of physics. The death knell of the a priori truth of any geometry was supplied by Einstein. He showed that a wider body of experience was coordinated by a Riemannian geometry than by Euclidean. He traced the success of Euclidian geometry back to the existence of so-called rigid bodies, in terms of which operations can be associated with numbers which correlate well with numbers associated in a purely mathematical way with mathematical constructs put in correspondence with these bodies. For the physicist, then, the geometry of the real world is now a physical theory whose “truth” like that of all physical theory, is measured by its degree of success in coordinating experience.