Fonction de Skolem


De DataFranca

Définition

Fonction introduite pour éliminer les quantificateurs existentiels.

Français

fonction de Skolem

Anglais

Skolem function


Source : Le grand dictionnaire terminologique