Direzioni della logica in Italia: la teoria degli insiemi