This is part 2 of my
series about the irrefutability of the axiom of choice from ZF. It will mainly introduce concepts about set theory.
Set theory is all about
collections. While some set theories use elementary objects, ZF only knows sets. It needs no function symbol, but one binary relation symbol
![\in](/latex?n=729f2cd8398e996012ccabf10defcacca4f5c7343e72484f631eba1d210bc9ad)
. Firstly of course, we notice that collections can usually be denoted by propositions with a free variable. Such collections are called
classes. The intuition is that a class
![A](/latex?n=559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd)
associated with a formula
![B(x)](/latex?n=86f4f315d0ca214478668c131f16fc822f0f0a533ba1657d9eda203355e96798)
is the collection
![\{x|B(x)\}](/latex?n=59fe8af437fa97662e93abad981ecb418e8ed72c5dbfa6c03263b4cbb7d125b5)
(which is of course not possible for all
![B](/latex?n=df7e70e5021544f4834bbee64a9e3789febc4be81470df629cad6ddb03320a5c)
). We write
![x\in A](/latex?n=fac41f5df7e2995de6d6b48a0cce188696ab53b3a4ebdbcc87c451009145c802)
for
![B(x)](/latex?n=86f4f315d0ca214478668c131f16fc822f0f0a533ba1657d9eda203355e96798)
, and sometimes we associate
![B](/latex?n=df7e70e5021544f4834bbee64a9e3789febc4be81470df629cad6ddb03320a5c)
itself with the class. We write
![A\not\in B](/latex?n=fdc19a74ade9a6a93e3352fd93ec2543466e78c5ca48843d96b6fa10c75b88fc)
for
![\lnot A\in B](/latex?n=6e01b7c717cae3860d7a9692c93ca6c3731a8bbf27aa98881d040040ce2573f6)
.
Most important, classes are only syntactical objects. We cannot quantify over them. They are only a convenient form of talking about collections, but everything we do with classes could be done logically directly. For example, if we write
![A\cup B](/latex?n=e018d5051b1d22761fdfcc1f66fdd566562e30565b489c71876b10fc5794a449)
, we could as well talk about the formula
![A(x)\vee B(x)](/latex?n=ed69aa5185d26b03a9f9acb68d1a4cf5284240d5e5196a582a378c00e6887f87)
. Especially, we say that two classes are equal when they contain the same elements.
A first important class is the class
![\emptyset := \{x|\bot\}](/latex?n=69b088567b024f5909dbe02b0271ec53a6323e19421795f21bcc26fbf0865d5d)
. It obviously contains no element. It is the
empty class, we will axiomatically postulate that it is a set, the
empty set.
Furthermore, there is the class
![V:=\{x|\bot\rightarrow\bot\}](/latex?n=fbd4d6b82448bac9c9a1664dcbb4e456499708868a87a2d2b9abbf18d5d4eb06)
, the
universe, which contains all sets. It is not a set, it is a
proper class.
Another interesting class, which resembles Russel's paradoxon, is the class
![R:=\{x|x\not\in x\}](/latex?n=03d5228912cd6bb88e7485c4e78aae55be93079550ddfaef905ba993e10b296a)
. It is not a set: Assume it was a set and
![R\in R](/latex?n=4fa004f03f0aa3366ceb36a356bffa12fc2b57119319f213083c4a8eb2006bfd)
. Then
![R\not\in R](/latex?n=be2aea7901bf4e458a91ad231be6e2dac4ed5e0bf573785c4e5f5e25553ba4ef)
. Contradiction, so
![R\not\in R](/latex?n=be2aea7901bf4e458a91ad231be6e2dac4ed5e0bf573785c4e5f5e25553ba4ef)
, but then
![R\in R](/latex?n=4fa004f03f0aa3366ceb36a356bffa12fc2b57119319f213083c4a8eb2006bfd)
. Contradiction.
![R](/latex?n=8c2574892063f995fdf756bce07f46c1a5193e54cd52837ed91e32008ccf41ac)
cannot be a set.
![R](/latex?n=8c2574892063f995fdf756bce07f46c1a5193e54cd52837ed91e32008ccf41ac)
is a proper class.
The duty of ZF is it now to provide a class of sets, by postulating the existence of sets that can be created from other sets. However, the first axiom we deal with does not give us extra powers of creating sets, but limits the existing sets. It is the axiom of extensionality.
Since we did not want to add axioms for equality, we define equality of sets as it is done in
Wikipedia:
![x=y :\Leftrightarrow \forall_z (z\in x\leftrightarrow z\in y) \wedge \forall_z(x\in z\leftrightarrow y\in z)](/latex?n=d2935cf9588be3c1f0a6906887c8bae74301c29152bb916b725692205f7a9d51)
Then the extensionality axiom sais that two sets containing the same elements are equal, which can be expressed by
(EXT) ![\forall_x\forall_y( \forall_z (z\in x \leftrightarrow z\in y) \rightarrow \forall_z(x\in z\leftrightarrow y\in z))](/latex?n=385cf85ee7611ea31f602df12c768d7155dd7e0e2a5f7b64d54de271f8cac8e7)
The first axiom giving us a set is the axiom of the
empty set. Formally, it can be expressed by
![\exists_x \forall_y y\not\in x](/latex?n=ec9ef6960cc9e5e60a54ef5f72a09c1736c0c1831341a08872ecbe340815f130)
. However, we choose an equivalent, but more convenient notation, using the class
![V](/latex?n=de5a6f78116eca62d7fc5ce159d23ae6b889b365a1739ad2cf36f925a140d0cc)
we defined above:
(NUL) ![\emptyset\in V](/latex?n=fc50b3beb03900c12300abc5914872680fce8c10b94ad83034911c6b294e6499)
Having two sets, we axiomatically postulate the existence of a set containing these two sets,
![\forall_x\forall_y\exists_z (x\in z\wedge y\in z)](/latex?n=3b66095a42889b1e82527c904c695d5df015243c9ad8c6ec487fd5d35d75c50f)
. Again, we use a more convenient notation
(PAR) ![\forall_x\forall_y \{x,y\}\in V](/latex?n=78a8abcce3df778429f653aa833a161e133ff4e6f8a648087f9f773f4ff63432)
As the high-level-notations should be well-known and as it should be clear how they can be rewritten into what we defined in Part 1, we will continue using high-level-notations.
For every set, there is the union of its elements:
(UNI) ![\forall_x \bigcup_{y\in x}\{y\} \in V](/latex?n=f95a6272c69edc02d43ffeaa187e5023ea25bd3d11aa1a4161554511ba86df96)
Then there is the axiom of infinity, which gives us the existence of an infinite set, which will turn out to guarantee the existence of the set of finite (ordinal) numbers. If one has never worked with ordinals before, it is rather counter-intuitive, but as soon as ordinals are definet, it should become clear. Essentially, it sais that there is a set containing
![\emptyset](/latex?n=8d2cacefc75ba038f020cd92e4b0cf1458ad543ef8d3393b99fc1787330c38b5)
, and for all elements
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
it contains, it also contains
![x\cup\{x\}](/latex?n=2f711bec5082a68e2afaa82672ff731b6ce87e65a0e905d7674a74f54f867658)
. Therefore, it contains
![\emptyset,\{\emptyset\},\{\{\emptyset\},\emptyset\},\ldots](/latex?n=5448fa89cf161c7607d4adf55e9530db87d89199f09cbfc42f29c96e087b8c2d)
.
(INF) ![\exists_u (\emptyset\in u\wedge\forall_x (x\in u\rightarrow x\cup\{x\}\in u))](/latex?n=a0f1d0cde0d5680d8d3210d2834b62ae5b5be676f4c3a429aebd39e570733e8a)
Then, for every set
![b](/latex?n=3e23e8160039594a33894f6564e1b1348bbd7a0088d42c4acb73eeaed59c009d)
we want a powerset
![\mathbb{P}(b)](/latex?n=0dca1e3d0a781872a0de86433a97831517c5643c958fc39510786694bccfe033)
, containing all subsets of
![b](/latex?n=3e23e8160039594a33894f6564e1b1348bbd7a0088d42c4acb73eeaed59c009d)
:
(POW) ![\forall_b \mathbb{P}(b)\in V](/latex?n=a3e5bda5afd13160d18a16ab40938d64515d580f30062d109da7d3bf5f952fc3)
A further boundary for sets is the axiom of foundation, which sais that every nonempty set contains an element which is disjoint to itself. From this axiom follows that there are no infinite
![\ni](/latex?n=1f2066890ddef798f0cfbca2810ee6b9ad1ca2894ec83785cc5b1923a348fc8b)
-chains.
(FUN) ![\forall_z (z\neq\emptyset\rightarrow\exists_x(x\in z\wedge x\cap z=\emptyset))](/latex?n=2c3eac81155495b4d0e80eaaa294ae94080c6cf057069cd8dba95db8143a01d2)
For the final axiom, we need an additional concept. Usually, a binary relation can be considered a set of pairs, and a function can be considered a special type of relation. That is, a function is a relation which is left-unique, that is, if it contains
![(a,b_1)](/latex?n=d49a76603f50d53d2c84fde0ba7079249343acd200a136128dbc367095765656)
and
![(a,b_2)](/latex?n=92cfcbf6cb8b598ab006971e84cb0007fec09874f5aa19accfadd263f3cbbeb4)
, then
![b_1=b_2](/latex?n=42cd9174ad23bb3a13d5dc7ff2273950a4a3586d315188ef736889ecc8db3c54)
. We can extend this notion to classes: A class
![B](/latex?n=df7e70e5021544f4834bbee64a9e3789febc4be81470df629cad6ddb03320a5c)
is called
functor, if it contains only pairs of sets, and if
![(a,b_1)\in B](/latex?n=2cb65ac1e95851702edadbd8fe71740723296ba08f170655caf5b6161c72bc42)
and
![(a, b_2)\in B](/latex?n=63544116b7f55b177c4f8d9e708904b81aa2f531a55bafb9593e95ecc42c949d)
implies
![b_1=b_2](/latex?n=42cd9174ad23bb3a13d5dc7ff2273950a4a3586d315188ef736889ecc8db3c54)
for all
![a,b_1,b_2](/latex?n=a9c7907313ac6cfc4417cbba6ed5be20c5e3247d697762cb4ec62924c404c5aa)
.
As functors are classes, there is no way of quantifying over all of them. The final axiom is therefore not really an axiom (even though it is often considered so), but an
axiom scheme, describing infinitely many axioms. It sais that if we have a functor and a set, then the image of that set under the functor is also a set. It is called replacement scheme.
(RPL) For every functor
![F](/latex?n=f67ab10ad4e4c53121b6a5fe4da9c10ddee905b978d3788d2723d7bfacbe28a9)
we have
![\forall_x \{F(y)|y\in x\}\in V](/latex?n=1abe5f0ccd31bb1f3c03680be0e28b6db89896a5655c2f7befa8116a2f8e5b65)
From the replacement scheme follows the comprehension scheme:
Lemma: For every class
![B](/latex?n=df7e70e5021544f4834bbee64a9e3789febc4be81470df629cad6ddb03320a5c)
and every set
![x\in V](/latex?n=8d5506dfec9b2e6af6eec1e35209e307aeacf41dc24f5df172352c2bd4192df2)
we have
![B\cap x\in V](/latex?n=47fc2e3e5b07c9d8cc4471a4e181a9e7aaf02f1ad358722fce2a57a4c4b90269)
.
Proof: We can easily define a functor sending every element
![a](/latex?n=ca978112ca1bbdcafac231b39a23dc4da786eff8147c4e72b9807785afee48bb)
onto
![\{a\}](/latex?n=e325514196af49a9341d3806b06daf28f07398bbcb91387f37bfa40625bc3323)
if
![a\in B](/latex?n=99756ec2911c4710360c10d018e8235b3bc38b12c2cc980a6a276e3d896eca74)
, and onto
![\emptyset](/latex?n=8d2cacefc75ba038f020cd92e4b0cf1458ad543ef8d3393b99fc1787330c38b5)
otherwise. Applying (RPL) and (UNI) we then get what we want.
□
Lemma: There is no infinite
![\ni](/latex?n=1f2066890ddef798f0cfbca2810ee6b9ad1ca2894ec83785cc5b1923a348fc8b)
-chain
Proof: Assume we had an infinitely long decreasing chain
![x_1\ni x_2\ni x_3\ni\ldots](/latex?n=059c18aec0604a39cabbe8a1989f6d03b40c59ab3dfcaf411a006611e82ef875)
. Consider
![x=\bigcup_i \{x_i\}](/latex?n=b19b87a0f13bdb0a79cfc1e73dc830339c2e80c55d498031cd6479b620527ef1)
. For an arbitrary
![y\in x](/latex?n=e51268f91ec40cd948035eccdab1d6faa7b34cdb9e9a37f95b498c63022e739b)
we can find an
![i](/latex?n=de7d1b721a1e0632b7cf04edf5032c8ecffa9f9a08492152b926f1a5a7e765d7)
such that
![y=x_i](/latex?n=f6c6c933e34e8dad910454ef663ee6739d0ac875ca359b1a2dd3134bcd895242)
. Therefore,
![x_{i+1}\in y\cap x](/latex?n=c8b723c70de2babcc84134c5465ac6607e9807ef6a4844b95161d1512df96f9f)
, and so,
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
violates (FUN). Contradiction.
□
Now we have all axioms of ZF. The critical part, which is the center of our further attention, is the
axiom of choice:
(AC) ![\forall_x \exists_f ((f\mbox{ function on domain }x)\wedge\forall_y((y\in x\wedge y\neq\emptyset)\rightarrow f(y)\in y))](/latex?n=b8fd2a3731c17df2e22f69fba868e9f211af6d3aa5cdc1c58604a7cede83fbff)
The relevance of this axiom is not immediately clear. It becomes clearer when dealing with well-orderings and ordinals:
Definition: A
strict total ordering on a set
![s](/latex?n=043a718774c572bd8a25adbeb1bfcd5c0256ae11cecf9f9c3f925d0e52beaf89)
is a binary relation
![R](/latex?n=8c2574892063f995fdf756bce07f46c1a5193e54cd52837ed91e32008ccf41ac)
satisfying
- Transitivity:
and
imply ![xRz](/latex?n=1ee0b8a529b49b12fbc4d8f9800938d6eef56feabdfe99f9cb8c72ca119f232f)
- Trichotomy:
or
or ![y=x](/latex?n=97b37ee44274a33763c8e6eea8be00c1cd6961fc4b933774c5f16dbd354868c8)
- Irreflexivity:
![\lnot xRx](/latex?n=22ba98b3b42e6d6c7b1d6c01d1236a5a770ee716ebc2385189c584699c6e0f27)
for all
![x,y,z\in s](/latex?n=5f558b0fdcd2f76a224c8badfb384ddd8cbaf53f66281132982ce27611b3a05b)
.
Definition: A
well-ordering on a set
![s](/latex?n=043a718774c572bd8a25adbeb1bfcd5c0256ae11cecf9f9c3f925d0e52beaf89)
is a strict total ordering
![W](/latex?n=fcb5f40df9be6bae66c1d77a6c15968866a9e6cbd7314ca432b019d17392f6f4)
on
![s](/latex?n=043a718774c572bd8a25adbeb1bfcd5c0256ae11cecf9f9c3f925d0e52beaf89)
, such that every
![x\subseteq s](/latex?n=f95548ebb53e2ef579be9037e384dbfdaa54683f6726cd670f06460740ea9470)
has a minimum.
Well-orderings are interesting since their existence for every set is equivalent to the axiom of choice:
Theorem: If every set
![A](/latex?n=559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd)
has a well-ordering
![w_A](/latex?n=e57e17dee03d4324d20b2931e86061f14ac01eb1495accbff921054c6b47c204)
, then the axiom of choice holds.
Proof: Let an arbitrary set
![A](/latex?n=559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd)
be given. By (UNI),
![B=\bigcup\limits_{x\in A}x](/latex?n=412834e9952ec12d398b2e1a3a5f37171d533bb091d5de71bcd6d13be47e72e0)
exists, and by assumption, there is a well-ordering
![w_B](/latex?n=4091e9592273fb9ab6a81e50430ad1accfd13dcc6cbaedffefd1c3a6eb640ee6)
. Define
![f(\emptyset)=\emptyset](/latex?n=fa77e7b4db1dfab699b9d6625be0d6c437f94b56f73c12c651858807050f50eb)
and let
![f(x)](/latex?n=259072e6c653cc56ea0e6a6031c2bbb5dede2c4066d63855fd7690ee8bd61bbc)
for
![x\in A, x\neq\emptyset](/latex?n=9016ec6e61ab539a9839a69e0ca68c07116ed4754e9804af848802f4bb944359)
be the minimum of
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
regarding
![w_B](/latex?n=4091e9592273fb9ab6a81e50430ad1accfd13dcc6cbaedffefd1c3a6eb640ee6)
. Then this
![f](/latex?n=252f10c83610ebca1a059c0bae8255eba2f95be4d1d7bcfa89d7248a82d9f111)
satisfies the axiom of choice.
□
Theorem: From the axiom of choice follows that every set has a well-ordering
We will not prove this here. A German version of this proof can be found on
Wikipedia.
Well-orderings turn out to be extremely useful, therefore, we are interested in classifying them in a simple way. In the usual way we can define
order-isomorphisms as structure-preserving bijective functions, and as usual, isomorphism becomes an equivalence relation, and therefore, we want to find representatives for every equivalence class.
Lemma: Let
![(x,<)](/latex?n=7ac97eb2a13667abb2e43667732d8b06c2246929c88c4e444f9127cc7f10a19d)
be a well-ordering and
![y\in x](/latex?n=e51268f91ec40cd948035eccdab1d6faa7b34cdb9e9a37f95b498c63022e739b)
. Then
![(\{z\in x|z<y\},<)](/latex?n=ad5c735cdf4c71b4c2fff18e35256ba241839c25578ebd2fa558a764ca5a472e)
is also a well-ordering, and is not isomorphic to
![(x,<)](/latex?n=7ac97eb2a13667abb2e43667732d8b06c2246929c88c4e444f9127cc7f10a19d)
.
Proof: Trivially
![(\{z\in x|z<y\},<)](/latex?n=ad5c735cdf4c71b4c2fff18e35256ba241839c25578ebd2fa558a764ca5a472e)
is also a well-ordering. Assuming there was an isomorphism
![f:\{z\in x|z<y\}\rightarrow x](/latex?n=790cc963ea32687b3a04b8ea327d5db60db53d86c500a15a42ab1143f17afeb1)
, then
![\{z\in x|f(z)\neq z\}](/latex?n=0d99f01e8772d4e2e5b9784f963e8b09c20912ac3df76c344594a94c12662b81)
is non-empty and contains a smallest element
![m](/latex?n=62c66a7a5dd70c3146618063c344e531e6d4b59e379808443ce962b3abd63c5a)
such that
![f(m)\neq m](/latex?n=d2ca12e68400cf5b468cf43c0c5a6cb04f205a36c8c7d02722d4f95f645b58ba)
. Then there must be some
![n\in x](/latex?n=946ed4e993d0f47a912e8f135b7d18aba7bfa95c9d70e0950697c43695ad8864)
such that
![f(n)=m](/latex?n=848463476d54752a21d423caf98c7577b6164244f8416945eef6d86e093f2df3)
, but as
![m](/latex?n=62c66a7a5dd70c3146618063c344e531e6d4b59e379808443ce962b3abd63c5a)
was minimal and
![n\neq m](/latex?n=90b5d33a592ec6e33acdf3183d9bf1d6233021a1a3551846b25e1b114f81d132)
, we know that
![n>m](/latex?n=13998ae68214a86131e91b8e870e18d4a948608286f8cadf70518223e3e3f46e)
, therefore
![f(n)>f(m)](/latex?n=98d651116124bfc712382bc6f9e73cdcc3b6d322dae912778baaac08153e794c)
, so
![m>f(m)](/latex?n=df7d6899ea2a613e02a7bb0566fa875a2a77511fa5a9078e0b2825f365ae10b2)
, which means that
![f(f(m))=f(m)](/latex?n=2d9f362870e8838f0e4861e804e98ca96400106cbe965fa5ff2d375a1dfb0403)
since
![m](/latex?n=62c66a7a5dd70c3146618063c344e531e6d4b59e379808443ce962b3abd63c5a)
was minimal, and therefore
![f(m)>f(f(m))=f(m)](/latex?n=8f0203391250f192a94904ec13cc320fd8a074030f405863fb95be2f72ab9e4d)
. Contradiction.
□
Definition: A set
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
is called an
ordinal if for all
![y\in x](/latex?n=e51268f91ec40cd948035eccdab1d6faa7b34cdb9e9a37f95b498c63022e739b)
we have
![y\subseteq x](/latex?n=83ded59e6f053db450a46c8c7789b324db2519b70247315786e7f6469c246666)
and
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
is well-ordered by
![\in](/latex?n=729f2cd8398e996012ccabf10defcacca4f5c7343e72484f631eba1d210bc9ad)
. The class of all ordinals is called
![\operatorname{On}](/latex?n=5cd58ecb800972ecb6fa7cf83222d76e155104ddc764538095ea07a1e4ee5f5d)
, we will later prove that it is a proper class.
The following definition of
natural numbers are examples for finite ordinals:
We call the set of these numbers
![\omega](/latex?n=11baa595827a4e0fd17af205816653eb40ea4c8410ba94a26118d3e60292d4e4)
, it is the smallest infinite ordinal.
Lemma: ![\emptyset\in x](/latex?n=c35bf35c4167652b3c1e67b9740ee42a03564fc584a4449860f70e353296d1e7)
for
Proof: ![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
contains an
![\in](/latex?n=729f2cd8398e996012ccabf10defcacca4f5c7343e72484f631eba1d210bc9ad)
-minimum
![y](/latex?n=a1fce4363854ff888cff4b8e7875d600c2682390412a8cf79b37d0b11148b0fa)
. Assume there was some
![z\in y](/latex?n=08b62aa4bd1e7383b23232e668ba655b5e41230d6a77db54a2060f435c8deed9)
, then also
![z\in x](/latex?n=1eee69c34fb53ff760f5814e273c3e5febb3dba8c92770ae36623362aec15ae3)
, and
![y](/latex?n=a1fce4363854ff888cff4b8e7875d600c2682390412a8cf79b37d0b11148b0fa)
would not be minimal anymore. Contradiction. Thus,
![y=\emptyset](/latex?n=d177a73abc9feb35cfa385ac479d060aceb334f0699ed55d097d6bf816adfa9c)
.
□
Lemma: If
![y\in x](/latex?n=e51268f91ec40cd948035eccdab1d6faa7b34cdb9e9a37f95b498c63022e739b)
and
![x\in \operatorname{On}](/latex?n=94ce4e9a8eb5ba25957c82a35fe467748b0f0e98cc7ad4050cef7344546d8dd9)
, then
![y\in \operatorname{On}](/latex?n=e28dc6dcffe9f99ebf62f89c3e65e51f24ef6ccbd2bcf4e85a90419ec057f733)
.
Proof: As
![y\in x](/latex?n=e51268f91ec40cd948035eccdab1d6faa7b34cdb9e9a37f95b498c63022e739b)
,
![y\subseteq x](/latex?n=83ded59e6f053db450a46c8c7789b324db2519b70247315786e7f6469c246666)
, so trivially,
![y](/latex?n=a1fce4363854ff888cff4b8e7875d600c2682390412a8cf79b37d0b11148b0fa)
is also well-ordered by
![\in](/latex?n=729f2cd8398e996012ccabf10defcacca4f5c7343e72484f631eba1d210bc9ad)
. Assuming
![z\in y](/latex?n=08b62aa4bd1e7383b23232e668ba655b5e41230d6a77db54a2060f435c8deed9)
and
![t\in z](/latex?n=293bc4a1355a46d084addab840936c15a2f3ac7626b00c72767c96c3ca915024)
, by transitivity we have
![t\in y](/latex?n=9caf5665a61d8c5a4a10f0ae6fdf8e4e5e7db2aa5813d9c568d32bffd72e2f09)
, so every element of
![y](/latex?n=a1fce4363854ff888cff4b8e7875d600c2682390412a8cf79b37d0b11148b0fa)
is a subset.
![y\in \operatorname{On}](/latex?n=e28dc6dcffe9f99ebf62f89c3e65e51f24ef6ccbd2bcf4e85a90419ec057f733)
.
□
Theorem: If
![x](/latex?n=2d711642b726b04401627ca9fbac32f5c8530fb1903cc4db02258717921a4881)
and
![y](/latex?n=a1fce4363854ff888cff4b8e7875d600c2682390412a8cf79b37d0b11148b0fa)
are ordinals whose well-orderings regarding
![\in](/latex?n=729f2cd8398e996012ccabf10defcacca4f5c7343e72484f631eba1d210bc9ad)
are isomorphic, then
![x=y](/latex?n=14bf50d80768f3bcd08b39d302f7e14465ae44bf65e7ef88bb28e83e8a1ae172)
Proof: Call the isomorphism
![f](/latex?n=252f10c83610ebca1a059c0bae8255eba2f95be4d1d7bcfa89d7248a82d9f111)
. Assuming
![f\neq id](/latex?n=443ce8bfefe49b9e1d6403e425343d40a8f5865ce1f72983aefc830bac6f7b36)
, there must be a minimal
![z\in x](/latex?n=1eee69c34fb53ff760f5814e273c3e5febb3dba8c92770ae36623362aec15ae3)
such that
![f(z)\neq z](/latex?n=c1fa54a909cdc4655e8c695071798eb893170237ed98dd5030dba9b329a07596)
. Trivially,
![f(\emptyset)=\emptyset](/latex?n=fa77e7b4db1dfab699b9d6625be0d6c437f94b56f73c12c651858807050f50eb)
, so
![z\neq\emptyset](/latex?n=6c228f35071a1a4952bbb03bea3bf4d8f3e56074d1d14a664ebf35fcfad93fc1)
. Therefore, there is some
![t\in z](/latex?n=293bc4a1355a46d084addab840936c15a2f3ac7626b00c72767c96c3ca915024)
. Trivially, we have
![f(z) = \{f(t)|t\in z\}=\{t|t\in z\}=z](/latex?n=f49ab473df20f9213af0b4a1f51e068fc773760940bdef384d002951f0ba7992)
. Contradiction.□
Theorem: Any two ordinals are comparable.
We will not prove this here.
Definition: For a class
![A](/latex?n=559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd)
we define
![A^{<\omega}](/latex?n=dc36cc320e563b417c4b44842c52434077feb070f32a8b32b848b9bcf06834d6)
as the collection of finite sequences of
sets inside
![A](/latex?n=559aead08264d5795d3909718cdd05abd49572e84fe55590eef31a88a08fdffd)
.
Theorem: There is a bijective functor
![G:\operatorname{\operatorname{On}}\rightarrow\omega\times \operatorname{\operatorname{On}}^{<\omega}](/latex?n=f2d5d7c723ca44faf0415b8ccca3b1791cd60dd1956668f96c103289436bc42f)
.
Proof: We show that there exists a well-ordering on
![\omega\times \operatorname{\operatorname{On}}^{<\omega}](/latex?n=707c89ae6cf57198212b95cb74a150d8d601d12f499108287714900bb82fd32c)
such that the class of predecessors of every element is a set. From this, the theorem follows directly. Firstly, on
![\operatorname{\operatorname{On}}^{<\omega}](/latex?n=9404b3943c0fc1e6662b6b48db1dd4285b5cf9af5fa366a30781472664e669e5)
, define an ordering
![pRq :\Leftrightarrow (\max(p) < \max(q)) \vee (\max(p) = \max(q) \wedge \operatorname{dom}(p) < \operatorname{dom}(q)) \vee (\max(p) = \max(q) \wedge \operatorname{dom}(p) = \operatorname{dom}(q) \wedge \exists_i\forall_{j<i} (p_i=q_j\wedge p_i<q_j))](/latex?n=0cc91e76aa889431bb615c986545941b7bcb3d5cf337787eb28a0c7d0f217594)
, where
![max(\emptyset)=0](/latex?n=ace55e25a7d34b8fe05e73dd5fee45847375335d2ee092c38c05139d24f8e087)
. This is a well-ordering: Firstly, it sorts according to the maximum of the sequence, then according to the length, if both are equivalent, then it uses lexicographical ordering. Form
![\omega\times \operatorname{\operatorname{On}}^{<\omega}](/latex?n=707c89ae6cf57198212b95cb74a150d8d601d12f499108287714900bb82fd32c)
now, define
![\left<n,p\right><\left<m,q\right> :\Leftrightarrow pRq \vee (p=q \wedge n<m)](/latex?n=75f87678676344281eda96500ec2d35735448cc78a82962fe580360c5b202561)
.
□