User blog comment:Syst3ms/A formal definition for UNOCF/@comment-35470197-20180728080043/@comment-30754445-20180728174436

"What you have to understand is that cardinals in UNOCF have nothing to do with set theory."

Oh dear...