Scritta la dannatissima formula per la dimpostrazione di P \subset FO(LFP). Alcuni aggiustamenti.