“It seems that mathematical ideas are arranged somehow in strata, the ideas in each stratum being linked by a complex of relations both among themselves and with those above and below. The lower the stratum, the deeper (and in general more difficult) the idea. Thus the idea of an ‘irrational’ is deeper than that of an integer; and Pythagoras’s theorem is, for that reason, deeper than Euclid’s.”