La terminologie fait référence au logicien Thoralf Skolem et les fonctions introduites, que l`on peut voir comme des fonctions de choix, sont appelées fonctions de Skolem. - Intuitivement, si on a une formule du type on peut se dire que pour chaque ...