Of course the ancients, guided by the Platonic doctrine of ideas, had already idealized empirical numbers, units of measurement, empirical figures in space, points, lines, surfaces, bodies; and they had transformed the propositions and proofs of geometry into ideal geometrical propositions and proofs.