Vocabulaire ensembliste et logique