User blog comment:Fejfo/bitstring lexographical notation/@comment-34422464-20190913142806/@comment-35470197-20190913153211

Then how could you define the set of standard expressions corresponding to ordinals? Please explain it formally without using FSes.