Logica e teoria degli insiemi: La logica formale e' strettamente collegata alla teoria degli insiemi. Possiamo osservare che esiste una stretta analogia fra le operazioni fra insiemi e connettivi logici: Logica Insiemi Congiunzione logica Intersezione Disgiunzione inclusiva Unione Negazione Insieme complementare Questo ci porta a pensare che la logica e la teoria degli insiemi siano diversi aspetti di uno stesso ramo della matematica, ma di questo potremo parlarne piu' ampiamente quando introdurremo il concetto di isomorfismo