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

ZFC + "ZFC is consistent" is inconsistent.