User blog comment:Rgetar/Idea for FGH for larger transfinite ordinals/@comment-11227630-20190704063145/@comment-35470197-20190704071625

@Hyp cos

I am certain that the whole system is ill-defined, but I think that it is reasonable to assume that card(x) means the cardinality of x.

@Rgeter

By the way, is the ordinal list which you quoted created by Scorcher007 as you state? I did not know that Scorcher007 is the author.

Well, I recommend you not to use the list, because it has no information about the definitions. For example, many expressions in the list using OCF are ill-defined.