Quando la prof ha spiegato i sistemi generativi, non ha fatto il calcolo logico e X Hilbert.....quindi? sono da trattare o meno per l'esame?