User blog comment:Kyodaisuu/My ordinal is bigger!/@comment-1605058-20140920213350

Proof theoretic ordinal of system ZFC+"there exists a proper class of I0 cardinals"