Abstract
The rich multiplicity of Mathematical objects and the proofs of theorems about them can be set out formally with absolute precision on a remarkably parsimonious base. Thus almost all the objects of Mathematics can be described as sets: A natural number is a set of sets (a cardinal), a rational number is a set of pairs (an equivalence class), a real number is a set of rationals (a Dedekind cut), and a function is a set of ordered pairs (a table of values). Similarly the theorems of Mathematics can all be written as formulas in a very parsimonious formal language which uses only set-membership, the basic connectives of logic (or, not, there exists) and the needed primitive terms of each subject (thus “point” and “line” for incidence geometry). Finally, most of the proofs of Mathematical theorems can be stated with absolute rigor as a sequence of inferences, each an instance of a finite number of basic schemes of inference.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Mac Lane, S. (1986). Sets, Logic, and Categories. In: Mathematics Form and Function. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-4872-9_12
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4872-9_12
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-9340-8
Online ISBN: 978-1-4612-4872-9
eBook Packages: Springer Book Archive