appunti/Logica/2020-04-29 Calcolo alla Hilbert.pdf