On rappelle qu'un entier divise , et on note , s'il existe un entier relatif tel que .

D'autre part, un entier est un nombre premier s'il est non nul et divisible seulement par 1 et par lui-même.

Pour combiner entre elles des assertions, on utilise les connecteurs de base suivants :

• la négation ("non"), notée
• la conjonction ("et"), notée
• la disjonction ("ou"), notée .

Parmi les ensembles suivants, cochez ceux qui sont égaux à l'ensemble des nombres premiers.