ZFC公形式语言理体系被合肥科技大学汪芳庭2002年《数学基础》介绍的。但其中正则公理要求的邻点 就得不到实数集合的满足。所以你依赖的数理逻辑基础不成立。这说明：实数理论 与这个公理体系都需要改革...
jzkyllcjl 需要戒吃狗屎才能弄懂实数及正则公理．
elim 发表于 2021-4-8 13:12
jzkyllcjl 需要戒吃狗屎才能弄懂实数及正则公理．
只有有穷集合才可以使用一一对应法则，得到表达集合元素个数的自然数表达数字，因此，可以称有穷集合是可数集合。对所有无穷集合（包括自然数集合）都不能说它们是可数集合。关于无穷集合的“可列”术语，也需要研究，对自然数集合的元素，它具有从小到大排成一个无穷序列的性质，因此可以说“自然数集合是可列而又列不到底”的集合；对有理数集合与实数集合，它的任何元素都没有左邻与右邻（左、右邻的概念可参看文献谢邦杰《超穷数与超琼论法》的叙述），所以这两个无穷集合，无法按照从小到大的顺序排成一列，它俩都不具有从小到大的可列性。与这个问题有关，谢邦杰《超穷数与超琼论法》]讲道“用Zorn 引理（等价于选择公理）来证明整序定理：任何集合∑均可排成一个整序集”，但事实上，这两个集合都无有极小元素，即都不满足正则公理（或称良序公理）按照谢邦杰《超穷数与超琼论法》]中整序集（或称良序集）的定义，它俩都不是整序集，谢邦杰《超穷数与超琼论法》]中的整序定理对这两个集合不成立，使用Zorn 引理（等价于选择公理）的这个整序定理的证明无效。
吃狗屎派jzkyllcjl 狗屎还在吃．
elim 发表于 2021-4-9 07:20
吃狗屎派jzkyllcjl 狗屎还在吃．
骂人是无理的表现。你14楼的帖子说明：你无法反对13楼的论述。
我不反对jzkyllcjl 吃狗屎，但反对jzkyllcjl 吃狗屎跑这里啼猿声．
elim 发表于 2021-4-9 21:07
我不反对jzkyllcjl 吃狗屎，但反对jzkyllcjl 吃狗屎跑这里啼猿声．
elim穷凶极恶！不懂装懂！！
0--------1/2-------1
0--------1/2
1/2--------1
你睁大走狗的眼睛看清楚了！
日本楞种卖楞率又遇上麻烦了？ 学 jzkyllcjl 吃狗屎去算了。
有理数集合与实数集合的这两个集合都无有极小元素，即都不满足正则公理（或称良序公理）按照谢邦杰《超穷数与超琼论法》]中整序集（或称良序集）的定义，它俩都不是整序集，谢邦杰《超穷数与超琼论法》]中的整序定理对这两个集合不成立，使用Zorn 引理（等价于选择公理）的这个整序定理的证明对这两个集合无效。
jzkyllcjl 被人类数学抛弃一点也不冤枉。概念极度混乱，根本不值得理会他。