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.)
« Dans ces parages de l'aisance, on voudrait tant que tout fût pour le mieux dans le meilleur des mondes » (Aragon). « Mieux » et « meilleur » sont ici : des comparatifs des superlatifs des gérondifs