Is the set of Natural Numbers equal to first infinte ordinal? (Note: Most of what I know about transfinite ordinals comes from this Wikipedia page.)
According to Wikipedia, each ordinal number is defined by the set of those smaller than it. That is, $0=\{\}$, $1=\{0\}$, $2=\{0,1\}$, $3=\{0,1,2\}$. However, doesn't this mean that ℕ (the set of natural numbers) is an ordinal, since it is equal to $\{0,1,2,3,4,5,6,...\}$? Since Wikipedia says the smallest infinite ordinal is $ω$, does that mean $\Bbb N = ω$ ? If it is, then why is the ω symbol used at all if it's just $\Bbb N$? If not, then what did I do wrong?
Wikipedia also says that ω is the &quot;order type&quot; of $\Bbb N$. I don't know what that means; is it related to my question?
Yes and no.

There's one sense in which the answer is unambiguously yes: Within the most popular scheme for embedding all of ordinary mathematics inside axiomatic set theory, the set that represents the set of natural numbers is identical to the set that represents the first infinite ordinal -- and by the way also identical to the set that represents the cardinal number $\aleph_0$.

Set theorists usually work in a context where this formalization is taken for granted, so they tend to say that $\mathbb N$ is the ordinal $\omega$. That works well for them. (They rarely use the symbol $\mathbb N$ anyway, preferring $\omega$ even in contexts where other mathematicians would use $\mathbb N$).



The arguments for an answer of no are a bit softer and more philosophical. But a good argument can be made that in everyday (rigorous but not formalized) mathematics, neither the natural numbers nor the ordinal numbers "are really" sets.

The number $2$, for example, is a separate idea from a set: namely the property shared by all collections that "contain one more than one thing". Ordinary mathematics allows these ideas -- which are not themselves sets -- to be collected as a set, which we call $\mathbb N$. And the ordinal number $\omega$ is not a set, but instead the abstract idea of the "thing" that is common about all infinite well-ordered sets that have no infinite proper prefixes.

With this "everyday" view $\mathbb N$ and $\omega$ are not the same thing, and are not even the same kind of thing.

This view is by no means shared by all "everyday mathematicians", though. Many seem to accept at least in principle to consider the set-theoretic formalization to be "what is really going on" -- but they still usually write things as if $\mathbb N$ and $\omega$ are different things, considering this distinction a helpful hint to the reader about which way to think about the thing in question is most relevant in each case.



Note that it is somewhat rare in "everyday mathematics" -- that is, outside axiomatic set theory -- to speak about ordinals at all.  So a quick first-approximation rule of thumb could be to write $\omega$ whenever you writing for set theorists and $\mathbb N$ whenever you're writing everyday mathematics; then you will usually not go wrong.
The finite ordinal numbers, the finite cardinal natural numbers are all use the same symbols. Natural numbers are used for counting finite things, cardinal numbers are used for measuring how many objects something can hold, and ordinals numbers are used for specifying which part of a list something is located at. The reason you need two different number systems when you expand to the infinite is because you can extend a list past the natural numbers and the list will still contain the same amount of objects as the natural numbers.