Pour chaque variable à skolémiser il faut choisir un nouveau nom de fonction qui n'apparait pas déjà dans la formule.
Pour chaque variable à skolémiser il faut choisir un nouveau nom de fonction qui n' apparait pas déjà dans la formule .