论序数及连续统的可数性与正则公理.DOCVIP

PAGE PAGE 7 【2012.7.25.文清慧注：本文是沈卫国先生投的原发论文】 论序数及连续统的可数性与正则公理 ——兼谈康托对角线法及哥德尔定理 西北工业大学信息智能与逻辑研究所 沈卫国 ［摘要］在前期一系列论文及著作中［2］［4］［5］对实数集（连续统）的可数性、康托对角线法等问题充分讨论的基础上，对序数的可数性问题进行分析，并由此引出对ZFC公理系统中的正则公理（基础公理，限制公理）的讨论。对与斯梅尔第18问题密切相关的哥德尔定理进行了分析，得到全新结论。提出实数的一进制表示法并在此基础上讨论康托对角线法的局限性问题。 ［关键词］序数 康托对角线法 连续统 可数