, if

and

are inductive cardinals. In Chapter VIII. we had occasion to use what is virtually the same as the above assumption of Peano's, namely, that, if

is an inductive cardinal,

is not equal to