It is as though Nature herself is guided by the same kind of criteria of consistency and elegance as those that guide human mathematical thought. An example of this is the real-number system itself. We have no direct evidence from Nature that there is a physical notion of ‘distance’ that extends to arbitrarily large scales; still less is there evidence that such a notion can be applied on the indefinitely tiny level.

