  In order to correlate mathematical concepts with phenomenal time in  this sense Weyl grants the possibility of introducing a rigidly  punctate “now” and of identifying and exhibiting the  resulting temporal points. On the collection of these temporal points is defined the relation of earlier than as well as a  congruence relation of equality of temporal intervals, the  basic constituents of a simple mathematical theory of time. Now Weyl  observes that the discrepancy between phenomenal time and the concept of real number would vanish if the following pair of conditions could be shown to be satisfied: