User blog comment:PsiCubed2/Simple question: Which is bigger?/@comment-1605058-20171214060631/@comment-30754445-20171215022657

Yeah, well... that what I meant.

I basically wanted to ask how "Loader's Ordinal" would be compared to the proof theoretic strength of 2nd order arithmetic, but screwed up the definitions. Sorry.