Advertisement

First-Order Mathematics

  • Donald W. Barnes
  • John M. Mack
Part of the Graduate Texts in Mathematics book series (GTM, volume 22)

Abstract

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.

Keywords

Proper Interpretation Relation Symbol Infinite Model Binary Relation Symbol Maximal Consistent Subset 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1975

Authors and Affiliations

  • Donald W. Barnes
    • 1
  • John M. Mack
    • 1
  1. 1.Department of Pure MathematicsThe University of SydneySydneyAustralia

Personalised recommendations