File:MathFoundations182 The successor-limit hierarchy and ordinals II