User blog comment:ArtismScrub/Hierarchical Cardinal Notation (HCN)/@comment-2001:56A:71A8:5F00:F08D:F231:25D0:7461-20180228031656/@comment-30754445-20180228130728

Huh?

Φ(2,0) = α → Φ(1,α) = ψɪ(ɪ) <<<<< ɪ

In fact, since ɪ is inacessible, it is very easy to show that Φ(a,0) < ɪ  for any a < ɪ.