Equivalenza tra l'assiomatizzazione in stile Hilbert, la deduzione naturale e il calcolo dei sequenti di Gentzen nella logica proposizionale