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

How to expands \(\psi_{I_2}(0)\)?