This paper argues that Weyl took formalism to prevail over intuitionism with respect to supporting scientific objectivity, rather than grounding classical mathematics, and that this was what he thought was enough for rejecting pure phenomenology as well.

This paper is divided into two parts. Part I provides a resumé of the evolution of the notion of predicativity. Part II describes our own work on the subject.Part I§1. Conceptions of sets.Statements about sets lie at the heart of most modern attempts to systematize all (or, at least, all known) mathematics. Technical and philosophical discussions concerning such systematizations and the underlying conceptions have thus occupied a considerable portion of the literature on the foundations of mathematics.