Skip to main content

Seeing the Number Structures

  • Chapter
  • First Online:
Mathematical Logic

Part of the book series: Springer Graduate Texts in Philosophy ((SGTP,volume 3))

  • 151k Accesses

Abstract

In the previous chapter, we introduced and named an actually infinite set. The set of natural numbers \({\mathbb {N}}=\{0,1,2,\dots \}\). What is the structure of this set? We will give a simple answer to this question, and then we will proceed with a reconstruction of the arithmetic structures of the integers and the rational numbers in terms of first-order logic. The reconstruction is technical and rather tedious, but it serves as a good example of how some mathematical structures can bee seen with the eyes of logic inside other structures. This chapter can be skipped on the first reading, but it should not be forgotten.

I thought, Prime Number. A positive integer not divisible. But what was the rest of it? What else about primes? What else about integers?

Don DeLillo Zero K [ 7 ]

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    We have to wait until Chap. 6 for a discussion of sizes of infinite sets.

  2. 2.

    \({\mathbb {Z}}\) for the German word Zahlen.

  3. 3.

    Skip this paragraph if the terms and notation are unfamiliar. This whole topic will be thoroughly discussed in Part II.

References

  1. DeLillo, D. (2016). Zero K. New York: Scribner.

    Google Scholar 

  2. Kline, M. (1972). Mathematical thought from ancient to modern times. New York: Oxford University Press.

    Google Scholar 

  3. Marker, D. (2002). Model theory: An introduction (Graduate texts in mathematics, Vol. 217). New York: Springer.

    Google Scholar 

  4. Smoryński, C. (2012) Adventures in formalism. London: College Publications.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Kossak, R. (2018). Seeing the Number Structures. In: Mathematical Logic. Springer Graduate Texts in Philosophy, vol 3. Springer, Cham. https://doi.org/10.1007/978-3-319-97298-5_4

Download citation

Publish with us

Policies and ethics