Re:Computing the Uncomputable
by tamana on Wednesday April 06, 2016 @01:02PM
(#11440055)
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
For example, consider the set embedded in the rationals as