 The inductive cardinals N are the familiar natural numbers, namely 0 and all those cardinal numbers that are related to 0 by the ancestral of the “successor relation” S, where \(x\relS y\) just in case \(y = x +1\). 