Cardinal Assignment Without The Axiom of Choice
Formally, assuming the axiom of choice, cardinality of a set X is the least ordinal α such that there is a bijection between X and α. This definition is known as the von Neumann cardinal assignment. If the axiom of choice is not assumed we need to do something different. The oldest definition of the cardinality of a set X (implicit in Cantor and explicit in Frege and Principia Mathematica) is as the set of all sets which are equinumerous with X: this does not work in ZFC or other related systems of axiomatic set theory because this collection is too large to be a set, but it does work in type theory and in New Foundations and related systems. However, if we restrict from this class to those equinumerous with X that have the least rank, then it will work (this is a trick due to Dana Scott: it works because the collection of objects with any given rank is a set).
Read more about this topic: Cardinal Assignment
Famous quotes containing the words cardinal, axiom and/or choice:
“What people don’t realize is that intimacy has its conventions as well as ordinary social intercourse. There are three cardinal rules—don’t take somebody else’s boyfriend unless you’ve been specifically invited to do so, don’t take a drink without being asked, and keep a scrupulous accounting in financial matters.”
—W.H. (Wystan Hugh)
““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.””
—Henry Brooks Adams (1838–1918)
“... given a choice between hearing my daughter say “I’m pregnant” or “I used a condom,” most mothers would get up in the middle of the night and buy them herself.”
—Joycelyn Elders (b. 1933)