User blog comment:Alemagno12/Huge Ordinal Analysis/@comment-11227630-20180208013330/@comment-11227630-20180209160152

Does ZFC + "ZFC is consistent" have larger PTO than ZFC?