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

How does I(2) expand? {0, 1, 2, 3, ...}