Implementation of mathematics in set theory: Difference between revisions

Revision as of 22:01, 21 December 2005

Revision as of 22:04, 21 December 2005

Line 359:

restrictions of this map would establish the similarity of W and <math>W^{\iota}</math> for any

well-ordering W. T is (externally) bijective and order-preserving. Because of this, the fact

<math>T^4(\Omega)<\Omega</math> establishes that <math>\Omega > T(\Omega) > T^2(\Omega) \ldots</math>

is a "descending sequence" in the ordinals which cannot be a set.