Abstract
Cantor’s diagonal argument provides an indirect proof that there is no one-one function from the power set of a set A into A. This paper provides a somewhat more constructive proof of Cantor’s theorem, showing how, given a function f from the power set of A into A, one can explicitly define a counterexample to the thesis that f is one-one.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Boolos, G. Constructing Cantorian counterexamples. Journal of Philosophical Logic 26, 237–239 (1997). https://doi.org/10.1023/A:1004209106100
Issue Date:
DOI: https://doi.org/10.1023/A:1004209106100