User blog comment:ArtismScrub/Hierarchical Cardinal Notation (HCN)/@comment-25601061-20180228002212/@comment-30118230-20180301164324

'α ↦ first α-inaccessible' is the first hyperinaccessible.