The road to epsilon-zero: Nim always ends, even with infinite ordinals
(news.ycombinator.com)
1.
2.
Extraordinary Ordinals
(news.ycombinator.com)