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.)
Comment doit-on écrire le mot « para[l]é[l]épipède » ? paraléllépipède parallélépipède paralléllépipède