It means that you have 0, and you have Big, and Big is axiomatically larger than all iterated successors of 0. And Big has iterated successors as well. For exa

It means that you have 0, and you have Big, and Big is axiomatically larger than all iterated successors of 0. And Big has iterated successors as well. For example, consider the set embedded in the rationals as 0, 1/2, 3/4, 7/8 , ... , 1, 3/2, 7/4, 15/8, ...