User blog comment:PsiCubed2/For Newbies (and Veterans too): The Great Scale of Googology/@comment-25601061-20171219161544/@comment-30754445-20171219163527

Regarding #2 and #3, I'll fix it. Thanks.

And regarding #1:

Are you certain that ZFC < D(x)? I thought Loader's number is equivlaent to nth-order arithmetic, which is weaker than ZFC, no?

As for Z2 ≤ TON, I know that was claimed but it was my understanding that the general consensus is that this claim is unfounded and that there's - currently - no known notation which reaches 2nd order arithemtic.