Philosophie der Mathematik und Naturwissenschaft - Weyl, Hermann (Leibniz, 1948)