IN the introductory volume of his work on questions of structure and existence in mathematics, M. Lautman is mainly concerned with Prof. Weyl's distinction between the two types of modern mathematical ...