User blog comment:Syst3ms/YAUD/@comment-30754445-20180810132619/@comment-27513631-20180811211011

You can, however, say that it's isomorphic to an ordinal, and that it implements a first-order theory of ordinal arithmetic, if you want.