Gerarchie Cumulative e Computabilità sopra Universi di Insiemi