Fondements de l'informatique Logique, modèles, et calculs
On établira d'abord, ce qui est un exercice sur les définitions, que G est un sous-groupe ... nous avons l'habitude (appuyée sur les axiomes de PEANO (cf.
On établira d'abord, ce qui est un exercice sur les définitions, que G est un sous-groupe ... nous avons l'habitude (appuyée sur les axiomes de PEANO (cf.