Skip to main content

Extensions of First-Order Logic

  • Chapter
  • 2420 Accesses

Part of the Undergraduate Texts in Mathematics book series (UTM)

Abstract

We have seen that the structure n of natural numbers cannot be characterized in the first-order language corresponding to n. The same situation holds for the field of real numbers and the class of torsion groups. As we showed in Chapter VII, one can, at least in principle, overcome this weakness by a set-theoretical formulation: One introduces a system of axioms for set theory in a first-order language, e.g. ZFC, which is sufficient for mathematics, and then, in this system, carries out the arguments which are required, say, for a definition and characterization of n. However, this approach necessitates an explicit use of set theory to an extent not usual in ordinary mathematical practice.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-1-4757-2355-7_9
  • Chapter length: 13 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   59.99
Price excludes VAT (USA)
  • ISBN: 978-1-4757-2355-7
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Hardcover Book
USD   79.95
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

Copyright information

© 1994 Springer Science+Business Media New York

About this chapter

Cite this chapter

Ebbinghaus, HD., Flum, J., Thomas, W. (1994). Extensions of First-Order Logic. In: Mathematical Logic. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2355-7_9

Download citation

  • DOI: https://doi.org/10.1007/978-1-4757-2355-7_9

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4757-2357-1

  • Online ISBN: 978-1-4757-2355-7

  • eBook Packages: Springer Book Archive