User blog comment:Deedlit11/Ordinal Notations V: Up to a weakly Mahlo cardinal/@comment-5029411-20130811125215/@comment-5029411-20130811174003

I[0] = 1

I[n+1] = Omega_(I[n])