Re: Problème du jour.

Le 01/07/2025 à 13:31, efji a écrit :

 Souhaites-tu que je pousse le vice jusqu’à construire une *pseudo-langue formelle* ou un *système axiomatique* où cette règle est valide sans contradiction ?

Il a déjà été dit que Z/2Z correspond au modèle axiomatique de Richard car 1=-1 et donc pour n entier relatif et tout i non nul de l'ensemble, i^n = -1.
Hélas richard n'a pas semblé intéressé par ce sujet.
C'est dommage: c'est un corps, et la recherche des zéros de polynômes cubiques y est assez simple. Peut être que si on lui soufflait le "petit nom" de cette structure: *algèbre de Boole*, il s'y intéressera autant que les films du même nom.. et qui sait ? Il finira peut-être par aimer et étudier de près les cubes du cours de la prof de maths.