Describir: Two roads to the successor axiom.