In this chapter, we shall reconstruct some parts of ordinary mathematics within the logical system constructed in Chapter IV. A piece of mathematics constructed within the first-order predicate calculus will be called a first-order theory. By comparing a first-order theory with the informal theory on which it is modelled, we may gain insight into the influence of our logical system on our mathematics.
KeywordsProper Interpretation Relation Symbol Infinite Model Binary Relation Symbol Maximal Consistent Subset
Unable to display preview. Download preview PDF.