, Volume 13, Issue 2, pp 107–126 | Cite as

The Axioms of Set Theory

  • Jairo José Da Silva


In this paper I argue for the view that the axioms of ZF are analytic truths of a particular concept of set. By this I mean that these axioms are true by virtue only of the meaning attached to this concept, and, moreover, can be derived from it. Although I assume that the object of ZF is a concept of set, I refrain from asserting either its independent existence, or its dependence on subjectivity. All I presuppose is that this concept is given to us with a certain sense as the objective focus of a ”phenomenologically reduced“ intentional experience.

The concept of set that ZF describes, I claim, is that of a multiplicity of coexisting elements that can, as a consequence, be a member of another multiplicity. A set is conceived as a quantitatively determined collection of objects that is, by necessity, ontologically dependent on its elements, which, on the other hand, must exist independently of it. A close scrutiny of the essential characters of this conception seems to be sufficient to ground the set-theoretic hierarchy and the axioms of ZF.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barwise, J. (ed.): 1977, Handbook of Mathematical Logic, Amsterdam: North-Holland.Google Scholar
  2. Belaga, E.: 1988, Are we Really Living in theWorld where the Power-Set Axiom is a Universal Mathematical Truth? Université Louis Pasteur, Dépt. de Mathématique, Institut de Recherche Mathématique Avancée, Strasbourg.Google Scholar
  3. Benacerraf, P. and H. Putnam: 1983, Philosophy of Mathematics, 2nd ed., Cambridge: Cambridge University Press.Google Scholar
  4. Boolos, G.: 1971, ‘The Iterative Concept of Set’, Journal of Philosophy 68, 215–231. Reprinted in Benacerraf & Putnam, 1983.CrossRefGoogle Scholar
  5. Cantor, G.: 1932, in E. Zermelo (ed.), Gesammelte Abhandlungen mathematishen und philosophischen Inhalts, Berlin: Springer; reprinted, Hildeshein: Olms, 1962.Google Scholar
  6. Gödel, K.: 1940, The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory, Princeton: Princeton University Press.Google Scholar
  7. Hallett, M.: 1984, Cantorian Set Theory and Limitation of Size, Oxford: Clarendon Press.Google Scholar
  8. Husserl, E.: 1891, Philosophie der Arithmetik, Halle: Pfeffer.Google Scholar
  9. Husserl, E.: 1962, Ideas, General Introduction to Pure Phenomenology, New York: Colliers.Google Scholar
  10. Husserl, E.: 1970, Logical Investigations, New York: Humanities Press.Google Scholar
  11. Husserl, E.: 1976, Erfahrung und Urteil, 5th ed., Hamburg: Meiner.Google Scholar
  12. Ortiz Hill, C. and G. Rosado Haddock: 2000, Husserl or Frege? Meaning, Objectivity and Mathematics, Chicago: Open Court.Google Scholar
  13. Rosado Haddock, G.: 2000, ‘Husserl's Epistemology of Mathematics and the Foundation of Platonism in Mathematics’, in Ortiz Hill & Rosado Haddock.Google Scholar
  14. Scott. D.: 1974, ‘Axiomatizing Set Theory’, Proceedings of Symposia in Pure Mathematics 13, part II, 207–214.Google Scholar
  15. Shoenfield, J. R.: ‘Axioms of Set Theory’, in The Handbook of Mathematical Logic.Google Scholar
  16. Wang, H.: 1974, ‘The Concept of Set’, in From Mathematics to Philosophy, Routledge and Kegan Paul; reprinted in Benacerraf & Putnam, 1983.Google Scholar

Copyright information

© Kluwer Academic Publishers 2002

Authors and Affiliations

  • Jairo José Da Silva

There are no affiliations available

Personalised recommendations