Repository | Book | Chapter
(2011) Treatise on intuitionistic type theory, Dordrecht, Springer.
The notion of set is central to modern foundations of mathematics , regardless of school. In fact, the position taken on this notion highlights major differences between the schools, but remains central to all of them. The history of the definition of this notion is the history of how universals made into objects of thought are brought into the language of logic proper, ie, brought from the metalanguage to the object language .
Publication details
DOI: 10.1007/978-94-007-1736-7_3
Full citation:
Granström, J. G. (2011). The notion of set, in Treatise on intuitionistic type theory, Dordrecht, Springer, pp. 53-76.
This document is unfortunately not available for download at the moment.