Aidez Elix à rester gratuit et à grandir !

Participez à notre campagne de dons en cliquant sur ce bandeau !

Complétude (n.f.)

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