On ne va pas définir le cardinal d'un ensemble mais se
donner les moyens de dire si des ensembles ont le même cardinal
ou de comparer des cardinaux.
On utilise dans les démonstrations les idées suivantes :
à tout ensemble est attaché un cardinal et un seul ;
si deux ensembles peuvent être mis en bijection,
on dit qu'ils ont le même cardinal, ou la même puissance ;
un cardinal est le cardinal d'au moins un ensemble.
