. The axiom of infinity, in the language of propositional functions, is: "The propositional function 'if

is an inductive number, it is true for some values of

that

is a class of

individuals' is true for all possible values of