Mientras esto no se ocupan directamente de la 'qué vino primero, la pregunta, creo que vale la pena señalar una suposición implícita en la pregunta original:
La multiplicación es conmutativa sobre números naturales, pero no sobre los números ordinales; $a\cdot b$ tiene un significado específico, y corresponde aproximadamente a $b$ copias de $a$ 'puso los pies a la cabeza' — en otras palabras, $a+a+a+\cdots+a$. En particular, $\omega\cdot 2\equiv \omega+\omega$ es de dos copias de $\omega$ (es decir, los números naturales) con una orden de tal forma que cada elemento de la "segunda" copia de $\omega$ es mayor que nunca de los elementos de la primera, se ve como $\langle 0_0, 1_0, 2_0, \ldots, 0_1, 1_1, 2_1, \ldots\rangle$. Por otro lado, $2\cdot\omega\equiv 2+2+2+\cdots$ $\omega$ copias de $2$ uno al lado del otro - y este es, precisamente, el orden de $\omega$ sí ( $2\cdot\omega$ $\langle0_0, 1_0, 0_1, 1_1, 0_2, 1_2, \ldots\rangle$ , y es fácil encontrar a una orden de preservación de la asignación de este a $\langle 0, 1, 2, 3, 4, 5, \ldots\rangle$).