 In PM a class is a finite “inductive” class if and only if it can be put into a one to one correspondence with the Natural Numbers less than or equal to some natural number \(n\). It will be infinite if and only if it is not inductive.