User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-1605058-20180203102941

Just so you know, the ordinal analysis of ZF and ZFC are exactly the same - the two theories prove exactly the same recursive orders well-ordered. The same is true for many large cardinal extensions, including for example indescribable cardinals.