“It remains to define "successor." Given any number n, let α be a class which has n members, and let x be a term which is not a member of α. Then the class consisting of α with x added on will have n+1 members.”