Philosophy of mathematics and natural science. - Weyl, Hermann (Princeton University Press, 1949)