选择公理的应用问题

jzkyllcjl

应用ZFC形式语言公理集合论中选择公理，得到的“A 永远不对等于B 的某个子集，B也永远不对等于A的子集的结论”是错误的，他们得到的“A 永远不对等于B 的某个子集，B也永远不对等于A的子集的结论”只是在A、B是能构造完毕的有限集合（例如，使用选择公理在｛1，2，3，4，……）得到与｛1，2，3｝一一对应于｛1，4，9｝，与｛1，2，3，4｝一一对应于｛1，4，9，16｝时成立，但对无限集合这种擦作永远进行不到底；也可以说：选择公理在无穷集合研究中不能应用）。 此外依赖于这个公理的《非标准分析》中提出的那种大于N中所有自然数的无穷大自然数，不仅不能用十进计数法标出，而且违背了自然数集合N包含了所有自然数的性质；《非标准分析》无有实用价值，应当被抛弃。还应当知道：由于有理数集合与实数集合的都没有最小元素，ZFC形式公理中的正则公理对这两个集合不成立。总之，应当坚持：无穷集合只是想象性质的无法构造完毕的非正常集合性质；康托尔的“数学必须肯定实无穷，实无穷论者认为：无穷（在数学中表现为无穷集）是一个现实的、完成的、存在着的整体”的观点是违背实践事实，应当被抛弃；ZFC形式语言公理集合论的叙述与应用都有违背事实的地方，也需要被抛弃。但20世纪建立的这个形式语言公理体系，已被汪芳庭2002年作为《数学基础》介绍，笔者的意见很难得到数学界认可，为此需要作出很大的努力与奋斗。

elim

四则运算缺除法的 jzkyllcjl 引述的选择公理，由于脑容量不够，有点像选择母狸，跟 ZFC 没啥关系。

jzkyllcjl 还是说说自己改革的烂尾事实怎么修补吧。呵呵

wangyangke

曹俊云没有来论坛进行曹俊云所谓的改革了，如此下去，曹俊云是一个半途而废的二百五。

jzkyllcjl

wangyangke 发表于 2023-5-6 01:51
曹俊云没有来论坛进行曹俊云所谓的改革了，如此下去，曹俊云是一个半途而废的二百五。

我年纪大了，力不从心。希望你继续研究下去。

elim

四则运算缺除法的 jzkyllcjl 引述的选择公理，由于脑容量不够，有点像选择母狸，跟 ZFC 没啥关系。

jzkyllcjl 还是说说自己改革的烂尾事实怎么修补吧。呵呵

wangyangke

曹俊云没有来论坛进行曹俊云所谓的改革了，如此下去，曹俊云是一个半途而废的二百五。

wangyangke

曹俊云没有来论坛进行曹俊云所谓的改革了，如此下去，曹俊云是一个半途而废的二百五。

jzkyllcjl

wangyangke 发表于 2023-5-11 13:52
曹俊云没有来论坛进行曹俊云所谓的改革了，如此下去，曹俊云是一个半途而废的二百五。

我年纪大了，需要你把工作继续下去。

elim

四则运算缺除法的 jzkyllcjl 引述的选择公理，由于脑容量不够，有点像选择母狸，跟 ZFC 没啥关系。

jzkyllcjl 还是说说自己改革的烂尾事实怎么修补吧。呵呵

wangyangke

曹俊云哟曹俊云，是不是二百五哟，，，，