Nota: nell'a.a. 16/17 delle slides19.pdf sono solamente state introdotte
le regole di introduzione ed eliminazione dei quantificatori. In particolare,
non sono state fatte le dimostrazioni di 

1) correttezza locale delle regole
2) completezza