User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-5029411-20130722002210

How to expands \(\psi_I(0)\)?