User blog comment:Deedlit11/Ordinal Notations IV: Up to a weakly inaccessible cardinal/@comment-26428969-20160224150404/@comment-26428969-20160224205836

sure