jzkyllcjl 尊重狗吃屎的事实就去实践吃狗屎。但吃狗屎的实践不是数学的出发点

elim

jzkyllcjl 尊重狗吃屎的事实就去实践吃狗屎。但吃狗屎的实践不是数学的出发点.

elim

请jzkyllcjl根据外延公理证明，\(\varnothing\ne\{\varnothing\}\)

jzkyllcjl

elim 发表于 2022-4-23 05:10
请jzkyllcjl根据外延公理证明，\(\varnothing\ne\{\varnothing\}\)

外延公理指出集合是由元素构成的，空集没有组成它的元素，所以空集不是正常集合。空集的并集仍然是空集。 ，

elim

空集的并集是空集，但 \(\varnothing\cup\{\varnothing\}=\{\varnothing\}=\{\varnothing\},\{\varnothing\}\cup\{\{\varnothing\}\}=\{\varnothing,\{\varnothing\}\},\) 都不是空集，也不是空集

总之，jzkyllcjl 只有初小差班程度，又喜欢不住吃狗屎啼猿声，90出头了，没弄对过一个数学概念。

jzkyllcjl

elim 发表于 2022-4-23 15:41
空集的并集是空集，但 \(\varnothing\cup\{\varnothing\}=\{\varnothing\}=\{\varnothing\},\{\varnothing\ ...

对无穷集合，应当知道：形式逻辑中的猅中律、反证法、数学归纳法常常不能使用；事实上亚里士多德提出这些法则时，就否定了“无穷是完成了的整体的实无穷观点”。此外，对形式逻辑下的定义、公理、定理、公式，必须在联系实际应用进行检验，违反事实的的地方，必须消除、改写或注解；余元希等学者编写的《初等代数研究》中使用ZFC形式语言公理体系中空集存在与并集合公理定义自然数的做法，不仅不便于实际应用，而且根据并集合概念中“某一元素出现多次与一次相同”他的自然数定义应当取消，并应当提出如下的理想自然数定义与说明。
定义2，空集这个术语，表示没有元素的想象性集合；由确定个数的确定事物为元素组成的整体，而且整体不能作为集合元素的集合，叫做现实的正常集合。其中的术语“元素个数”具有忽略现实集合各个元素性质与大小差别的意义，元素个数多少的表达符号叫做理想自然数（在暂时不联系现实数量的纯粹数学研究中可以简称为自然数）。
这个定义下的现实正常集合需要用一篮子苹果、一家人、一班学生等实例进行说明：其中自然数（即元素个数的表达符号）是古代人创造的由0、1、2、3、4、5、6、7、8、9十个符号与十进记数法表示的数。由此出发，就有了形式逻辑下，需要的背熟自然数的加法、乘法的运算法则。自然数的表达符号及其运算法则就构成了现行的自然数的初步理论。但在自然数应用时，不能忘掉它们与现实数量的关系，例如; 虽然从纯理论上可以讲：理想自然数10比9大，但还需要知道“9个大苹果比十个小苹果分量大、养分多”。使用自然数表达线段长度的毫米数时，需要知道：“线段长度具有测不准性，使用自然数表示两个线段毫米数的和时，需要进行误差分析”。这个自然数概念的修改说明：自然数理论阐述时，需要使用毛泽东著《矛盾论》中说的“对立统一的法则，是唯物辩证法的最根本的法则”、“一切事物中包含的矛盾方面的相互依赖和相互斗争，决定一切事物的生命，推动一切事物的发展。没有什么事物是不包含矛盾的，没有矛盾就没有世界”的论述。也需要使用毛泽东在《实践论》中说的“实践、认识，再实践、再认识，这种形式，循环往复以至无穷，而实践和认识之每一循环都比较地进到了高一级的程度”的论述。

elim

jzkyllcjl 应当知道，你吃上狗屎，建立不了无穷集合的概念，四则运算缺除法，初小差班程度也就是无有数学程度。你的长篇谬论没有论证没有计算，90出头了，没有弄对过一个数学概念。需要面壁思过。