il existe une pluralité d’infinis

choc pour l’intuition

un ensemble peut être 

aussi grand qu’une partie de lui-même

mais jamais aussi grand que l’ensemble de ses parties

Cantor 

montre des limites de la taille

Gödel 

montre des limites de la démonstration

les deux révèlent 

des limites structurelles des mathématiques

pour tout ensemble

il existe toujours un ensemble strictement plus grand 

celui de ses parties

Cantor 

plusieurs tailles d’infini

aucun ensemble n’égale son ensemble de parties

L’infini est inépuisable