Voilà une preuve toute bête que l'infini existe par le paradoxe du barbier :
-Imaginons un barbier qui ne rase que les personnes qui ne se rasent pas elles mêmes et il est le seul à le faire. Aussi, tout ceux qui ne se rasent pas eux même doivent aller chez ce barbier unique.
Maintenant on peux se poser la question, est ce que ce barbier peut se raser lui même???
-ON pourrait penser que non, il ne pourrait pas car il ne rase pas ceux qui se rasent eux même. En se rasant, il échappe à la catégorie de ceux qu'il doit raser. Hors, s'il ne se rase pas lui même il entre dans la catégorie de ceux qui ne se rasent pas eux même.
-Donc; ce barbier ne peut se raser lui même dans la mesure où il se raserait lui même et il devrait se raser lui même dans la mesure inverse où il ne se raserait pas lui même.
