Logica matematica/Calcolo delle proposizioni/Sistema di Hilbert: differenze tra le versioni