User blog comment:MachineGunSuper/How do I get past this?/@comment-35470197-20180825132410

If you have not collapsed ordinals below it, then it is good to try collapsing them using OCFs.

If you have already collapsed them, then it is good to construct an explicit well-defined computable large number using them.

If you have already constructed a computable large number, then you are standing on the start point to learn other strong tools, e.g. large cardinals, proof theoretic ordinals, or formal logic.