C'est quoi ton théorème préféré ?
Moi c'est "196 884 = 196 883 + 1"
Discussion
C'est quoi ton théorème préféré ?
Moi c'est "196 884 = 196 883 + 1"
@AugierLe42e Alors soit la fonction successeur...
@boreal_stars @AugierLe42e attention, il faut que tu précises ton axiomatique !
@Kenzaro @AugierLe42e Ah oui il me faut les axiomes de p-anneau 😔 (pour les p-gouverner tous ? non c'est pas ça)
@boreal_stars Prouve-le