Comme on peut établir
une bijection entre et ]0, 1[,
les ensembles 2 et ]0, 1[2 sont
aussi en bijection.
Cantor a montré qu'on pouvait établir une bijection entre
les points de l'intervalle ]0, 1[ et les
points du carré ]0, 1[2, ce qui permet
d'affirmer l'existence d'une bijection entre les points de la
droite et les points du plan.