File:MathFoundations180 The successor - limit hierarchy