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:We hope to see you as a part of our community soon!
That's a losing attempt at using infinities...at least for me, it was a bunch of Xes and what resembles coding symbols...is the cardinality of the set of all countable ordinal numbers, called ω 1 {\displaystyle \omega _{1}}or sometimes Ω {\displaystyle \Omega }. This ω 1 {\displaystyle \omega _{1}}is itself an ordinal number larger than all countable ones, so it is an uncountable set. Therefore, ℵ 1 {\displaystyle \aleph _{1}}is distinct from ℵ 0 {\displaystyle \aleph _{0}}. The definition of ℵ 1 {\displaystyle \aleph _{1}}implies (in ZF, Zermelo–Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ 0 {\displaystyle \aleph _{0}}and ℵ 1 {\displaystyle \aleph _{1}}. 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}}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}}: any countable subset of ω 1 {\displaystyle \omega _{1}}has an upper bound in ω 1 {\displaystyle \omega _{1}}. (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}}: every finite set of natural numbers has a maximum which is also a natural number, and finite unions of finite sets are finite.