Lionel Messi est donc un footballeur mieux payé que Cristiano Ronaldo, ce qui n’est que justice puisque l’un est un génie classique (au sens mélioratif, comme dans « grand classique ») et l’autre une machine de haute précision. Mais ce qui nous intéresse ici, ce n’est pas le football : plutôt les montants. 33 millions annuels pour l’Argentin de Barcelone et 30 millions pour le Portugais de Manchester. Sur le plan moral, no comment. Sur le plan arithmétique, des chiffres (en fait, des nombres) simples à mettre en rapport :

(1) Ronaldo = Messi − (Messi/11) et corollairement (2) Messi = Ronaldo + (Ronaldo/10).

Getriddons des parenthèses qui sont comme des cafards proliférant sous les plinthes : inutiles. Par la même occasion, posons r = Ronaldo et m = Messi, ça fait plus sérieux.

On a (1) r = m − m/11 et (2) m = r + r/10.

Essayons voir de faire joujou avec ça pour constater la perfection du système formel arithmétique : en remplaçant dans l’expression (1) (car (2) nous y autorise) m par r + r/10 (c.-à-d. Messi par Ronaldo + Ronaldo/10), on obtient :

r = (r + r/10) − [(r + r/10)/11].

Développons cette saloperie tautologique pour nous apercevoir/assurer qu’elle est bien une tautologie de motherfucker (dans le cas contraire, on aurait démontré — de manière un peu plus fulgurante que Gödel — que les maths ont du plomb dans l’aile, mais ça m’étonnerait qu’à ce niveau nos tripatouillages suffisent à les planter comme un vulgaire Firefox, ou alors je m’appelle Luc Besson, je m’apprête à adapter Adèle Blanc-Sec au cinéma et vous pouvez préparer le goudron et les plumes) :

r = r + r/10 − (r/11 + r/110).

Mettons tout sur 110 et finissons-en avec cette énigme à la mords-moi-la-tumeur-bénigne :

r = 110r/110 + 11r/110 − (10r/110 + r/110) = 121r/110 − 11r/110 = (121 − 11)r/110 = 110r/110 = r = Ronaldo.

D’où Ronaldo = Ronaldo. Tautologie, tout va bien.

Un Gödel un peu fan de football, histoire de mettre un peu le bazar, objecterait à ce stade que si (c’est indubitable) Ronaldo = Ronaldo, il est néanmoins tout à fait faux d’affirmer que Cristiano Ronaldo = Ronaldo Luis Nazário de Lima. Par conséquent Ronaldo ≠ Ronaldo.

(Ronaldo = Ronaldo) & (Ronaldo ≠ Ronaldo) implique donc qu’il y a dans notre audacieux système formel comme une couille dans le pâté.

Et j’aimerais assez qu’on vienne me démontrer le contraire.

Tom Cantor, dans : Infinimatheux, Spectaculaire-marchand