interdéfinissable

adjectif

Expressions avec interdéfinissable

  • Symboles interdéfinissables,

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