Pollux (./483) :
c'est pas grotesque, c'est bien défini avec de vrais axiomes

oui enfin il n'empêche que la démonstration en tant que telle n'est vraiment pas rigoureuse. tant qu'il ne montre pas quels axiomes il utilise, c'est du même niveau que les preuves standards de 1 - 1 + 1 - 1 ... = 0, 1 ou 1/2. aucune n'est plus valable que l'autre.