chiusura universale, espressione che si ottiene quantificando universalmente ciascuna delle variabili libere contenute in
