C'est comme le type qui dit "tout les chiens ont quatres pattes".. c'est mon axiome..
il pourra vérifier dans leur ADN etc ... et même se dire qu'un chien à trois pattes tiendrais pas debout, ou qu'un chien à cinq patte serait boiteux et courrait moins vite... il pourrait en faire tout une science, un commerce, une ville, une raison, une logique ..
Et puis un jour, l'asburde survient... Un chien à cinq patte travers la route.. Il pourrait toujours se dire "Ce chien, Mesdames et Messieurs, n'existe pas ! C'est asburde !"
Il serait même tenter de l'écraser et "qu'on en finisse... "
Je ne m'identifie pas au chien, simplement il faut conduire prudement et accepter toutes les axiomes mathématiques comme une "possibilité" dans des structures qui peuvent être incompatible avec les autres structures, mais qui sont alors des structures à part entières..
Bref pour moi, il est plus juste de penser que la bijection à l'infinie est impossible et que ces mathématiques là manquent..
-----