论文部分内容阅读
康托尔为我们建立了集合论,并且证明了实数的不可数性,但是其中留下了很多疑点.1.—个实数能在每—个集合论模型中出现的充分必要条件是它是可以被集合论来定义的.那些在集合论模型中不出现的实数,我们可以把他们叫做看不见的实数.2.在实数的十进位无穷小数表示法中有些是我们能确切地知道它的第几位是什么,但是对另外的一些实数我们对它们就只能有模糊的认识,也就是说它的第几位是什么我们不可能全部知道.我们可以把他们叫做写不出的实数.3.由于Cantor关于实数是不可数的证明不是构造性的证明,而是用所谓的归谬证法.它们中有