As is well known, predicative mathematics has long been motivated by skepticism concerning the classical conception of the Cantorian transfinite and, in particular, of the continuum, or the notion of “all subsets of (even) a countably infinite set.” Along with constructivism, predicativism regards as suspect talk of functions which cannot even in principle be given a definite mathematical description. Indeed, a basic predicativity requirement is that any recognized mathematical object be presentable by means of a finite string of symbols from a countable language, where this is understood to include formulas defining sets or functions, with quantification in the formulas restricted to “already acceptable” objects. In contrast with intuitionism, however, the natural number system is treated classically, and classical logic is taken as legitimate. The focus, then, is on principles of set existence. In accordance with Russell’s “vicious circle principle,” sets of natural numbers cannot legitimately be introduced via definitions or formulaic conditions with unrestricted quantifiers over such sets.