Στην παρούσα διπλωματική παρουσιάσαμε το σύστημα φυσικής απαγωγής και την έννοια της κανονικοποίησης μιας απόδειξης φυσικής απαγωγής. Ακολούθως παρουσιάσαμε το σύστημα ακολουθητών Gentzen και το πολύ σημαντικό θεώρημα ...