Identifiez-vous ou Créez un compte

Définitions de interdéfinissable

 interdéfinissable

adjectif


  • Symboles interdéfinissables, symboles dont l'un peut se définir à partir de l'autre et réciproquement. (Les quantificateurs ∃ et ∀ sont interdéfinissables.)