logoalt Hacker News

danabramovyesterday at 3:37 PM0 repliesview on HN

This procedure is enough. If you define addition and other operations in a certain way (as Conway did), it turns out that on the omega-th day (i.e. after initial infinite steps), all reals will be born.