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

Yes, Loader's function corresponds to higher-order arithmetic. It's way below ZFC level.