7 La logica e gli insiemi