Question about transfinite ordinals.
I am aware that you can order the ordinal numbers like so:
0, 1, 2, 3...ω, ω+1, ω+2...ω·2, ω·2+1...ω·3...ω·4...ω2... (followed eventually by ϵ0 and its ilk of course)
In this sequence, any given number is the order of everything before it. So, 0 is preceded by nothing; order of 0. {0} has one member, so the order of that set is 1. All the natural numbers have no final member, so their order is ω. Follow up the natural numbers with a one-member set {x} at the end and you get ω+1. And so on and so forth.
Now, multiplication and addition with ordinals is not quite like with natural numbers. Specifically, ω+1 is its own little ordinal number, being the order of the set {0, 1, 2...x}, where x is just something hanging out at the end. However, 1+ω is...equal to ω, because {x, 0, 1, 2...} just gets renumbered to {0, 1, 2, 3...}; no final member, therefore ordinal number ω.
Now, though, let's look at multiplication. ω·2 is the order of something like this: {0, 1, 2, 3...a, b, c...}. But 2·ω is equal to ω. This isn't making any sense to me because if you take the natural numbers and then put a set of order ω before it, like this... {0, 1, 2...} -> {a, b, c...0, 1, 2...}
wouldn't this just reorder to a set of ω·2?
What am I doing wrong here?