Skip to main content


In previous chapters, notably in Chapters IV and V, we have used “synthetic arguments” at an informal level, trusting that the context would provide a meaning for the term “synthetic”, and would make the arguments themselves plausible. The aim of this final chapter is to make the notion of “synthetic reasoning” explicit, by setting up an axiomatic system which is adequate to formalize the arguments from earlier chapters, as well as some others which we will present below.

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

Access this chapter

Subscribe and save

Springer+ Basic
EUR 32.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

USD 9.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover 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


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations


Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer Science+Business Media New York

About this chapter

Cite this chapter

Moerdijk, I., Reyes, G.E. (1991). Smooth Infinitesimal Analysis. In: Models for Smooth Infinitesimal Analysis. Springer, New York, NY.

Download citation

  • DOI:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4419-3095-8

  • Online ISBN: 978-1-4757-4143-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics