 When Russell turned to other areas of analytical philosophy, Hermann Weyl took up the predicativist cause (Weyl 1918). Like Poincaré, Weyl did not share Russell’s desire to reduce mathematics to logic. And right from the start he saw that it would be in practice impossible to work in a ramified type theory. Weyl developed a philosophical stance that is in a sense intermediate between intuitionism and platonism. He took the collection of natural numbers as unproblematically given. But the concept of an arbitrary subset of the natural numbers was not taken to be immediately given in mathematical intuition. Only those subsets which are determined by arithmetical (i.e., first-order) predicates are taken to be predicatively acceptable.