User blog comment:Edwin Shade/Enumerating the Countable Ordinals/@comment-25337554-20171208234807

What do you do with "syntax error" numbers, like 55? Also what if there are more than one way to encode one ordinal?