Struttura formale del problema e moltiplicazione dei mondi possibili