Buch | Kapitel
The notion of set
pp. 53-76
Abstrakt
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
Published in:
Granström Johan G. (2011) Treatise on intuitionistic type theory. Dordrecht, Springer.
Seiten: 53-76
DOI: 10.1007/978-94-007-1736-7_3
Referenz:
Granström Johan G. (2011) The notion of set, In: Treatise on intuitionistic type theory, Dordrecht, Springer, 53–76.