 Thus, according to the axiom of reducibility, statements about arbitrary functions can be replaced by statements about predicative functions; and predicative functions play the role of classes, i.e., canonical representatives of arbitrary complex concepts (e.g., among the possible properties of different order which have the same extension as \(P(n)\), \(P^*(n)\) canonically represents the class of numbers satisfying \(P(n))\).