1 = 1

En mathématiques, le prédicat 1 = 1 définit ce qu'on appelle équivalence stricte.

1 = 1 est vrai quelque soit 1 (si, et seulement si, quelque soit l'autre 1 aussi).

Ce prédicat a été longuement connu sous le nom impropre de théorème de Cheval. Néanmoins, personne n'ayant réussi à le prouver, à part dans certains cas particuliers où 1 prenait la même valeur que 1, et ce quelque soit l'ensemble d'origine, il a été décidé d'en faire une vérité absolue. S'en suivit la grande révolution des mathématiques qui fournit à la physique les outils nécessaires pour démontrer la Courbitude de l'espace.