• Welcome to Religious Forums, a friendly forum to discuss all religions in a friendly surrounding.

    Your voice is missing! You will need to register to get access to the following site features:
    • Reply to discussions and create your own threads.
    • Our modern chat room. No add-ons or extensions required, just login and start chatting!
    • Access to private conversations with other members.

    We hope to see you as a part of our community soon!

The last post is the WINNER!

beenherebeforeagain

Rogue Animist
Premium Member
78c211ce8badf4ffbf9417ecceb0ef7ab0a8caed
is the cardinality of the set of all countable ordinal numbers, called ω 1 {\displaystyle \omega _{1}}
e20e29ac56d6cc52eaeb2f9c0bf79ef706428ddf
or sometimes Ω {\displaystyle \Omega }
24b0d5ca6f381068d756f6337c08e0af9d1eeb6f
. This ω 1 {\displaystyle \omega _{1}}
e20e29ac56d6cc52eaeb2f9c0bf79ef706428ddf
is itself an ordinal number larger than all countable ones, so it is an uncountable set. Therefore, ℵ 1 {\displaystyle \aleph _{1}}
78c211ce8badf4ffbf9417ecceb0ef7ab0a8caed
is distinct from ℵ 0 {\displaystyle \aleph _{0}}
721cd7f8c15a2e72ad162bdfa5baea8eef98aab1
. The definition of ℵ 1 {\displaystyle \aleph _{1}}
78c211ce8badf4ffbf9417ecceb0ef7ab0a8caed
implies (in ZF, Zermelo–Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ 0 {\displaystyle \aleph _{0}}
721cd7f8c15a2e72ad162bdfa5baea8eef98aab1
and ℵ 1 {\displaystyle \aleph _{1}}
78c211ce8badf4ffbf9417ecceb0ef7ab0a8caed
. If the axiom of choice is used, it can be further proved that the class of cardinal numbers is totally ordered, and thus ℵ 1 {\displaystyle \aleph _{1}}
78c211ce8badf4ffbf9417ecceb0ef7ab0a8caed
is the second-smallest infinite cardinal number. Using the axiom of choice we can show one of the most useful properties of the set ω 1 {\displaystyle \omega _{1}}
e20e29ac56d6cc52eaeb2f9c0bf79ef706428ddf
: any countable subset of ω 1 {\displaystyle \omega _{1}}
e20e29ac56d6cc52eaeb2f9c0bf79ef706428ddf
has an upper bound in ω 1 {\displaystyle \omega _{1}}
e20e29ac56d6cc52eaeb2f9c0bf79ef706428ddf
. (This follows from the fact that the union of a countable number of countable sets is itself countable, one of the most common applications of the axiom of choice.) This fact is analogous to the situation in ℵ 0 {\displaystyle \aleph _{0}}
721cd7f8c15a2e72ad162bdfa5baea8eef98aab1
: every finite set of natural numbers has a maximum which is also a natural number, and finite unions of finite sets are finite.
That's a losing attempt at using infinities...at least for me, it was a bunch of Xes and what resembles coding symbols...
 
Top