Actually the process whereby material mathematics is put into formal logical form, where expanded formal logic is made self sufficient as pure analysis or theory of manifolds, is perfectly legitimate, indeed necessary; the same is true of the technization which from time to time completely loses itself in merely technical thinking.