Constructing Cantorian counterexamples

详细信息

下载全文

推荐本文 |

• 作者：George Boolos
• 关键词：Cantor ; diagonal argument ; set theory
• 刊名：Journal of Philosophical Logic
• 出版时间：1997
• 出版年：1997
• 期刊代码：23_00223611
• 类别：law
• 卷：26
• 期：3
• 页码：237-239
• 数据来源：sp

摘要

Cantors 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 Cantors 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.