User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-35470197-20190702232339/@comment-32213734-20190708094233

> I do not think so, \(S_1\) does not contain a natural number, while \(S_0\) contains all natural numbers.

Right, thanks. I deleted this statement, it was not used.