Fermeture de la boutique Elix

Vous avez jusqu’au 14 avril pour commander ! Cliquez sur ce bandeau pour en savoir plus...

Complétude (n.f.)

caractère d'un système logique qui ne contient pas de propositions indécidables.