Order-preserving map between $X^*$ and $\mathbb N$ for some finite set $X$ Let $X = \{ 1, \ldots , r \}$ be $r$ symbols with $1 < 2 < \ldots < r$ and define on the set of all finite sequences $X^*$ the lexicographic ordering as given here on Wikipedia. Is it possible to establish an order preserving (i.e. monotone) bijective mapping between $X^*$ and $\mathbb N$?

We've seen two yeses so far. The answer is no. Hint: A natural number has only finitely many predecessors. (Or: there are only finitely many natural numbers between any two natural numbers.)
