Cardinal numbers measure size by pairing things off, never by counting
You can tell whether a theatre is full without counting anyone: if every seat holds exactly one person and nobody is standing, seats and audience are equal. Mathematicians define the size of any set this way, through one-to-one pairing. Applied to infinite collections, that simple rule starts producing results that feel impossible.
A cardinal number records how many elements a set has. Two sets share a cardinality exactly when their members can be matched up perfectly, with nothing left over on either side; the sets 1, 2, 3 and 4, 5, 6 both have cardinality three because 1 pairs with 4, 2 with 5 and 3 with 6. The identities of the members are irrelevant. For finite sets this agrees with ordinary counting, and ordinary numbers do double duty, describing both size and position in a line. Pushed to infinity, those two roles split apart, position giving rise to ordinal numbers and size to cardinals.
Infinity breaks familiar intuitions. The natural numbers can be paired perfectly with the fractions, and a set can match one of its own proper subsets, something no finite set allows. Hilbert's Grand Hotel dramatises this: a completely full hotel with infinitely many rooms can still take a new guest by shifting everyone along one door. Adding one to the smallest infinite size, called aleph-null, leaves it unchanged. Yet Georg Cantor showed that infinities genuinely differ: there are strictly more real numbers than natural numbers, and taking all subsets of any set always yields a larger cardinal.
Beyond that, much depends on axioms that standard set theory cannot settle. Whether every infinite cardinal is an aleph number turns out to be equivalent to the axiom of choice, and the continuum hypothesis is likewise independent. Cardinality serves as a working tool in combinatorics, algebra, model theory and analysis.
The idea of matching before counting also shows up in how children learn numbers. A study of parents' number talk found that counting or labelling sets of visible objects, particularly sets of four to ten items, predicted children's later grasp that three means a group of three, even after accounting for family income.
Source: Cardinal number
