User blog comment:Rgetar/Creating FGH for transfinite ordinals/@comment-34422464-20190701005316

I'm pretty sure Wythagoras did this once.