Outline of an Introduction to Mathematical Logic II

Extract

It is the purpose of the calculus described in the preceding section (i) to yield as theorems all tautologies which can be formulated in terms of the given variables, and (ii) to yield no other formulae as theorems. We shall establish presently that these two conditions are indeed satisfied. However, there are questions of a more general character which can be solved both with regard to the present calculus and with regard to many other calculi, including some with a more comprehensive vocabulary.