User blog comment:Vel!/1+w/@comment-5982810-20141011201056/@comment-2033667-20141011201608

"An isomorphism with ordinals is entirely secondary."

This would be true if we weren't actually dealing with ordinals. Except we are.