User blog comment:ArtismScrub/Hierarchical Cardinal Notation (HCN)/@comment-1605058-20180226215934/@comment-32783837-20180227014231

Then use Feferman's theta.