File:MathFoundations181 The successor-limit hierarchy and ordinals I