Deutsche Gesellschaft
für phänomenologische Forschung

Buch | Kapitel

187973

The notion of set

Johan G. Granström

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.