User blog comment:Kyodaisuu/My ordinal is bigger!/@comment-2033667-20140920195404

proof-theoretic ordinal of ZFC + "for all k, there exists a k-superhuge cardinal"