 The origin of predicativism lies in the work of Russell. On a cue of Poincaré, he arrived at the following diagnosis of the Russell paradox. The argument of the Russell paradox defines the collection C of all mathematical entities that satisfy \(\neg x\in x\). The argument then proceeds by asking whether C itself meets this condition, and derives a contradiction.