“Thus the required rigor was found in the application of the concept of number, made formal by divorcing it from the idea of geometrical quantity”