Abstract
Reasonning in naive set theory (with unlimited comprehension), we derive a paradox (a formal contradiction) which can be seen as a variant of the Burali-Forti paradox.
Similar content being viewed by others
References
Burali-Forti, C., ‘A question on transfinite numbers’, Rendiconti del Circolo matematico di Palermo 11:154–164, 1897. Reprinted in [9].
Cantor, G., ‘Letter to Dedekind’. Reprinted in [9].
Coquand, T., ‘An analysis of Girard's paradox’, First Logic in computer science symposium, Boston, July 1986.
Frege, G., ‘Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought’. Reprinted in [9].
Martin-Löf, P., ‘An intuitionistic theory of types’, 1972.
Martin-Löf, P., ‘Twenty-five years of constructive type theory’(Venice, 1995), Oxford Logic Guides, 36, 127–172, Oxford Univ. Press, New York, 1998.
Russell, B., ‘Letter to Frege’. Reprinted in [9].
Troelstra, A.S., and D. van Dalen, Constructivism in mathematics. Vol. II. An introduction, Studies in Logic andthe Foundations of Mathematics, 123. North-Holland Publishing Co., Amsterdam, 1988.
van Heijenoort, J. (ed.), From Frege to Gödel, A source book in Mathematical Logic, Harvard University Press, 1967.
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by Robert Goldblatt
Rights and permissions
About this article
Cite this article
Colson, L. Another Paradox In Naive Set-Theory. Stud Logica 85, 33–39 (2007). https://doi.org/10.1007/s11225-007-9025-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-007-9025-1