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.)
Un « canut » est un ouvrier des manufactures de soie à Lyon. Mais comment appelle-t-on les ouvrières de ces manufactures ? les canuses les canutes les carnutes