I've been watching [Prof Su's](https://www.youtube.com/watch?v=TpnXBhaTERA) (Harvey Mudd College) incredible lecture on Ordinals and Transfinite Induction, and I have a few related questions. He starts by drawing and examining three sets of dots, strictly well-ordered by position ($> \implies \text{to the right of}$), where clustered dots represent carrying on adding dots forever:

(a) $\{\cdot \cdot \cdot \ \cdot \}$

(b) $\{ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdots$ } ($\mathbb{N}$)

(c) $\{ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdots \ \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdots \ \cdot \cdot \ \cdot \}$ (2 sets of $\mathbb{N}$ + 3 other things to the right)

He then notes that there are finitely many things in (a) and *countably many* things in both (b) and (c). Therefor (b) and (c) have the same cardinality. My first question is **how can we say that (c) is countably infinite**? Isn't the definition of a countable set a set that can be put in to bijection with some subset of (or the entirety of) $\mathbb{N}$? I get how that's true for (b), but what bijection could you use for (c) that would map every element of (c) to an element of the $\mathbb{N}$, and preserve distinctness? Wouldn't you run out of places to map things to after the first set of dots?

Next he constructs the ordinal numbers as a way to classify well-ordered sets. An ordinal is defined to be a set that is:

(i) transitive/complete - every member is a subset, and

(ii) strictly well ordered by membership

We start off with $\phi$ (the empty set, which is vacuously well-ordered) and define, the Successor function:

$$ S(\alpha) = \alpha \ \cup \ \{ \alpha \}, $$

which ensures that $S(\alpha)$ will satisfy (i) and (ii) if $\alpha$ does, and helps us to define the "next" few ordinals:

$$ \{ \phi \}, \ \{ \phi, \{\phi \} \}, \ \{ \phi, \{\phi \}, \{ \phi, \{\phi \} \} \}, \ \dots $$

We can also define the Supremum function for a set set of ordinals, A:

$$ \sup(A) = \bigcup\limits\_{i} a\_{i}, \ a\_{i} \in A $$

If A is a collection of ordinals, then $\sup(A)$ is also an ordinal

We can then start assign labels to ordinals: 

$$ "0" \to \phi, \ "1" \to \{ \phi \}, \ "2" \to \{ \phi, \{\phi \} \}, $$ etc.

He then introduces a theorem by Von-Neumann:

> 
> **Thm**. Any well-ordered set is order isomorphic to one of the ordinals
> 
> 
> 

e.g. (a) is order isomorphic to "4".

He then goes on to say that $\mathbb{N}$ is order isomorphic to the supremum of the successor of all the finite ordinals, which we call $\omega$:

$$ \omega \equiv \sup( \ S(\alpha): |\alpha|<\infty) $$

This is said to be a limit ordinal and the first infinite ordinal. It is also the first ordinal that is not a successor of any ordinal. From there, we can continue to take the Successor:

$$ S(\omega) = \omega \cup \{ \omega \} \to "\omega + 1" $$

and we're off to the races. We have, in order:

$$ 1, 2, 3, \dots, \omega, \omega + 1, \omega + 1, \dots \omega\cdot 2, \omega\cdot 2 + 1, \omega\cdot 2 + 2, \dots \omega\cdot 3, \dots \omega^2, \omega^2 + 1, \omega^2 + 2, \dots \omega^2 + \omega, \dots \omega^3, \dots \omega^4, \dots, \omega^{\omega}, \dots \omega^{{\omega}^{\omega}}, \dots, $$

all of which are apparently countable, even as we move through $\epsilon\_{0}$, which is defined to be the first ordinal that satisfies: $ \epsilon\_{0} = \omega^{\epsilon\_0} $. Then we have $\epsilon\_{1}$ which also satisfies this (i.e. $\epsilon\_{1} = \omega^{\epsilon\_{1}}$) but is not the first to do so... and $\epsilon\_2, \epsilon\_3, $ etc. **all of which are apparently countable**, until we get to $$ \boxed{\omega\_1}, $$ defined to be the supremum of all of the countable ordinals, which is the **first uncountable ordinal**.

My second set of questions is **How can anything after $\omega$ by countable?** isn't the set $\omega + 1$ too big to be put in bijection with $\mathbb{N}$? And how can the union of an infinite number of things (the Supremum of all the countable numbers) be said to be uncountable, if we've already had limit ordinals before, that we say are still countable, that are unions of infinite numbers infinite sets. Shouldn't they start to be uncountable at $\omega$?

What am I not understanding here?