Logica matematica/Calcolo delle proposizioni/La deduzione naturale: differenze tra le versioni

Gerhard Gentzen ha notato che il sistema assiomatico di Hilbert è molto lontano dal modo di ragionare che applicano i matematici nella loro attività quotidiana.

 

 

Gentzen ha cercato un sistema di dimostrazione che fosse semplice ed intuitivo, arrivando alla "deduzione naturale", un sistema di dimostrazione senza assiomi e con una serie di regole il cui numero dipende dai connettivi che definiamo come primitivi.