Bonjour. J'ai appris que les quantificateurs existentiels et universels ne s'utilisaient pas de la même façon dans la rédaction d'une démonstration suivant qu'ils se trouvent dans la thèse ou dans l'hypothèse. Seulement, je ne vois pas comment un même quantificateur peut s'utiliser différemment alors qu'il veut toujours dire la même chose...pouvez vous m'éclairer ? Merci
-----