Editing Cardinal number (section)

== Formal definition ==
Formally, assuming the [[axiom of choice]], the cardinality of a set ''X'' is the least [[ordinal number]] α 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, then a different approach is needed. The oldest definition of the cardinality of a set ''X'' (implicit in Cantor and explicit in Frege and ''[[Principia Mathematica]]'') is as the class [''X''] of all sets that are equinumerous with ''X''. This does not work in [[ZFC]] or other related systems of [[axiomatic set theory]] because if ''X'' is non-empty, this collection is too large to be a set. In fact, for ''X'' ≠ ∅ there is an injection from the universe into [''X''] by mapping a set ''m'' to {''m''} × ''X'', and so by the [[axiom of limitation of size]], [''X''] is a proper class. The definition does work however 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 (set theory)|rank]], then it will work (this is a trick due to [[Dana Scott]]:<ref>{{cite journal|last1=Deiser|first1=Oliver|title=On the Development of the Notion of a Cardinal Number|journal=History and Philosophy of Logic|doi=10.1080/01445340903545904 |volume=31|issue=2|pages=123–143|date=May 2010|s2cid=171037224}}</ref> it works because the collection of objects with any given rank is a set).

Von Neumann cardinal assignment implies that the cardinal number of a finite set is the common ordinal number of all possible well-orderings of that set, and cardinal and ordinal arithmetic (addition, multiplication, power, proper subtraction) then give the same answers for finite numbers. However, they differ for infinite numbers. For example, <math>2^\omega=\omega<\omega^2</math> in ordinal arithmetic while <math>2^{\aleph_0}>\aleph_0=\aleph_0^2</math> in cardinal arithmetic, although the von Neumann assignment puts <math>\aleph_0=\omega</math>. On the other hand, Scott's trick implies that the cardinal number 0 is <math>\{\emptyset\}</math>, which is also the ordinal number 1, and this may be confusing. A possible compromise (to take advantage of the alignment in finite arithmetic while avoiding reliance on the axiom of choice and confusion in infinite arithmetic) is to apply von Neumann assignment to the cardinal numbers of finite sets (those which can be well ordered and are not equipotent to proper subsets) and to use Scott's trick for the cardinal numbers of other sets.

Formally, the order among cardinal numbers is defined as follows: |''X''| ≤ |''Y''| means that there exists an [[injective]] function from ''X'' to ''Y''. The [[Cantor–Bernstein–Schroeder theorem]] states that if |''X''| ≤ |''Y''| and |''Y''| ≤ |''X''| then |''X''| = |''Y''|. The axiom of choice is equivalent to the statement that given two sets ''X'' and ''Y'', either |''X''| ≤ |''Y''| or |''Y''| ≤ |''X''|.<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><ref>{{citation | author=Friedrich M. Hartogs | author-link=Friedrich M. Hartogs | editor=Felix Klein | editor-link=Felix Klein | editor2=Walther von Dyck | editor2-link=Walther von Dyck | editor3=David Hilbert | editor3-link=David Hilbert | editor4=Otto Blumenthal | editor4-link=Otto Blumenthal | title=Über das Problem der Wohlordnung | journal=Math. Ann. | volume=Bd.&nbsp;76 | number=4 | publisher=B.&nbsp;G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 | url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215 | s2cid=121598654 | access-date=2014-02-02 | archive-url=https://web.archive.org/web/20160416205255/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | archive-date=2016-04-16 | url-status=live }}</ref>

A set ''X'' is [[Dedekind-infinite]] if there exists a [[proper subset]] ''Y'' of ''X'' with |''X''| = |''Y''|, and [[Dedekind-finite]] if such a subset does not exist.  The [[finite set|finite]] cardinals are just the [[natural numbers]], in the sense that a set ''X'' is finite if and only if |''X''| = |''n''| = ''n'' for some natural number ''n''.  Any other set is [[infinite set|infinite]].

Assuming the axiom of choice, it can be proved that the Dedekind notions correspond to the standard ones. It can also be proved that the cardinal <math>\aleph_0</math> ([[aleph null]] or aleph-0, where aleph is the first letter in the [[Hebrew alphabet]], represented <math>\aleph</math>) of the set of natural numbers is the smallest infinite cardinal (i.e., any infinite set has a subset of cardinality <math>\aleph_0</math>). The next larger cardinal is denoted by <math>\aleph_1</math>, and so on. For every ordinal α, there is a cardinal number <math>\aleph_{\alpha},</math> and this list exhausts all infinite cardinal numbers.