User blog comment:PsiCubed2/For Newbies (and Veterans too): The Great Scale of Googology/@comment-32783837-20180226034300/@comment-3427444-20180226044637

Doing that would require assumptions that Taranovsky's C goes beyond the proof-theoretic ordinal of ZFC.