Advertisement

Syntax of First-Order Logic

Part of the Universitext book series (UTX)

The main objects of study of mathematical logic are mathematical theories such as set theory, number theory, and the theory of algebraic structures such as groups, rings, fields, algebraically closed fields, etc., with the aim to develop tools to examine their consistency, completeness, and other similar questions concerning the foundation of these theories. In this chapter we take the first step toward logic and precisely define the notion of a firstorder theory.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media, LLC 2008

Personalised recommendations