User blog comment:Boboris02/Ordinal Analysis of Theories/@comment-11227630-20180213035846/@comment-30118230-20180213085930

I know it's ambiguous,but at least some people can learn that ZFC without powerset is equivalent to Z2 for example. The unknowns only signify that we don't know the PTOs yet.