Logica e Teoria degli Insiemi, Parte I.