The von Neumann cardinal assignment is a cardinal assignment which uses ordinal numbers. For a well-ordered set U, we define its cardinal number to be the smallest ordinal number equinumerous to U. More precisely:
- ,
where ON is the class of ordinals. This ordinal is also called the initial ordinal of the cardinal.
That such an ordinal exists and is unique is guaranteed by the fact that U is well-orderable and that the class of ordinals is well-ordered, using the axiom of replacement. With the full axiom of choice, every set is well-orderable, so every set has a cardinal; we order the cardinals using the inherited ordering from the ordinal numbers. This is readily found to coincide with the ordering via ≤c. This is a well-ordering of cardinal numbers.
Read more about Von Neumann Cardinal Assignment: Initial Ordinal of A Cardinal
Famous quotes containing the words von, neumann and/or cardinal:
“New inventions can and will be made; however, nothing new can be thought of that concerns moral man. Everything has already been thought and said which at best we can express in different forms and give new expressions to.”
—Johann Wolfgang Von Goethe (1749–1832)
“It means there are times when a mere scientist has gone as far as he can. When he must pause and observe respectfully while something infinitely greater assumes control.”
—Kurt Neumann (1906–1958)
“Distrust all those who love you extremely upon a very slight acquaintance, and without any visible reason. Be upon your guard, too, against those who confess, as their weaknesses, all the cardinal virtues.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)