display all the ideas for this combination of texts
1 idea
10602 | A 'natural deduction system' has no axioms but many rules [Smith,P] |
Full Idea: A 'natural deduction system' will have no logical axioms but may rules of inference. | |
From: Peter Smith (Intro to Gödel's Theorems [2007], 09.1) | |
A reaction: He contrasts this with 'Hilbert-style systems', which have many axioms but few rules. Natural deduction uses many assumptions which are then discharged, and so tree-systems are good for representing it. |