User blog comment:PolyhedralMatrix102/"Bigger" notation/@comment-32783837-20180319182438/@comment-32783837-20180319191118

No, it can only be upper bounded. No way it's possible to create a set theory which can account for all possible recursive ordinals.