Pour l'histoire des infinis de tailles différentes :
Un ensemble A est de la même taille qu'un ensemble B si on peut faire correspondre chaque élément de A à un élément de B.
Par exemple les ensembles {2, 4, 6, 8} et {20, 21, 22, 23} sont de même taille vu qu'on a la correspondance suivante :
2 - 20
4 - 21
6 - 22
8 - 23
De même l'ensemble des nombres entiers {1, 2, 3,...} et l'ensemble des nombres premiers {2, 3, 5,...} sont aussi de même taille :
0 - 2
1 - 3
2 - 5
3 - 7
4 - 11
5 - 13
etc...
Il y a donc autant de nombres entiers que de nombres premiers (même si les nombres premiers font partie des nombres entiers). L'infini des nombres entiers et celui des nombres premiers sont donc "de même taille".
Il y aussi autant de nombres entiers que de couples de nombres entiers (mais c'est moins facile à voir) :
0 - (0, 0)
1 - (1, 0)
2 - (0, 1)
3 - (2, 0)
4 - (1, 1)
5 - (0, 2)
6 - (3, 0)
7 - (2, 1)
8 - (1, 2)
9 - (0, 3)
etc...
Et comme on peut voir les fractions comme des couples de nombres a/b, il y a en fait autant de fractions que de nombres entiers (contrairement à ce qui a été dis plus haut). Donc là encore l'infini des fractions est le même que celui des entiers (on parle d'infini dénombrable pour un infini de même taille que celui des entiers).
Par contre, on peut prouver qu'il n'est pas possible de trouver une telle correspondance entre les entiers et les réels (c'est à dire les fractions mais aussi les racines, pi, etc, bref tous les "nombres à virgule" imaginables).
Il y a donc plus de réels que d'entiers ; l'infini des réels (appelé infini indénombrable) est "plus grand" que l'infini des entiers.
Il existe donc plusieurs infinis de tailles différentes. Il est aussi possible d'imaginer des ensembles encore plus grand que celui des réels.