User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-5029411-20130729134352/@comment-24509095-20140523032401

wat