Dimostrazioni per assurdo, insieme vuoto, proprietà caratteristiche in cui la variabile non appare esplicitamente, equivalenza  logica definite tramite uguaglianza fra insiemi. Esempi. Quantificatori esistenziale e universale. Controllo di verità e falsità di affermazioni contenenti tali quantificatori. Confronto in diversi universi. Scrittura formali di insiemi quali i pari, i dispari, i primi.