User blog comment:P進大好きbot/First Order Theory beyond Higher Order Set Theory/@comment-44466522-20200108192317

Is there a nice large cardinal axiom that we could add to ZFC that would yield a theory about the same strength as your theory T?

Like a proper class of inaccessibles?