Logica e teoria degli insiemi. Seconda parte: Una proposta costruttiva per la teoria degli insiemi