Skolémisation

concept

Propriétés