无限的概念不是数

jzkyllcjl

数的概念几千年前就有。定义1，空集这个术语，表示没有元素的想象性集合；由确定个数的确定事物为元素组成的整体，叫做现实的正常集合。其中的术语“元素个数”具有忽略现实集合各个元素性质与大小差别的意义，元素个数多少的表达符号叫做理想自然数（简称为自然数）。
这个定义下的现实正常集合需要用一篮子苹果、一家人、一班学生等实例进行说明：其中自然数（即元素个数的表达符号）是古代人创造的由0、1、2、3、4、5、6、7、8、9十个符号与十进记数法表示的数。由此出发，就有了需要背熟自然数的加法、乘法的运算法则。自然数的表达符号及其运算法则就构成了现行的自然数的初步理论。但在自然数应用时，不能忘掉它们与现实数量的关系，例如; 虽然从纯理论上可以讲：理想自然数10比9大，但还需要知道“9个大苹果比十个小苹果分量大、养分多”。使用自然数表达线段长度的毫米数时，需要知道：“线段长度具有测不准性，使用自然数表示两个线段毫米数的和时，需要进行误差分析”。这个自然数概念的修改说明：自然数理论阐述时，需要使用毛泽东著《矛盾论》说的说的“对立统一的法则，是唯物辩证法的最根本的法则”、“一切事物中包含的矛盾方面的相互依赖和相互斗争，决定一切事物的生命，推动一切事物的发展。没有什么事物是不包含矛盾的，没有矛盾就没有世界”的论述。虽然笔者指出：自然数具有理想性的缺点，但自然数也具有反映现实数量集合元素个数多少的现实性，在讨论一家人的个数时，可以忽略各个人大小的差别，只讲个数。以上所述就是唯物辩证法下的自然数概念。
在此还需要指出：笔者的这个自然数定义与余元希等学者编写的《初等代数研究》[5]中定义不同，他的定义是以ZFC形式语言公理体系中空集存在公理为基础的定义，它的定义缺乏实际应用的性质

谢芝灵

为什么数具有运算(代数)性质？
原因： 定义数的同时,定义赋予数的运算(代数)性质.
一切以定义为依据。

谢芝灵

用集合定义a,集合没赋予a的运算(代数)性质.
所以，这样的定义a是数，是自我意淫。

谢芝灵

摘要:数没定义出来，所有数学理论没出生。所以定义数，不能用数学理论。因为：定义出数了，才有运算(代数)性质,才有数学（数学理论）。
定义数只能用逻辑关系去定义,数与非数构成逻辑关系,这样定义出来的数和非数才合逻辑.
数和非数的定义困难了人类数千年,
原因是:
(1)“定义”的定义:也就是定义的要求.
(2)不能用数学理论中的{运算,大小值对比,代数}性质去定义数,数一但被定义,数就具有运算(代数)性质.
(3)以定义为依据得到:数一但被定义,数就具有运算(代数)性质.
我用一个巧妙的方法做到了数的定义.
为什么数具有运算(代数)性质？
原因： 定义数的同时,定义赋予数的运算(代数)性质.
我后面证明了: 用集合定义数 是错误的.数是一个集合概念,但不能用集合概念去定义数。
我定义了数和非数,解决了数学理论的第一块基石,坚固了数学理论大厦.
从程序上正义了数学理论大厦.

elim

APB 先生主张无穷大整数等等，怎么不发言？

谢芝灵

elim 发表于 2021-5-20 15:03
APB 先生主张无穷大整数等等，怎么不发言？

摘要:数没定义出来，所有数学理论没出生。所以定义数，不能用数学理论。因为：定义出数了，才有运算(代数)性质,才有数学（数学理论）。
定义数只能用逻辑关系去定义,数与非数构成逻辑关系,这样定义出来的数和非数才合逻辑.
数和非数的定义困难了人类数千年,
原因是:
(1)“定义”的定义:也就是定义的要求.
(2)不能用数学理论中的{运算,大小值对比,代数}性质去定义数,数一但被定义,数就具有运算(代数)性质.
(3)以定义为依据得到:数一但被定义,数就具有运算(代数)性质.
我用一个巧妙的方法做到了数的定义.
为什么数具有运算(代数)性质？
原因： 定义数的同时,定义赋予数的运算(代数)性质.
我后面证明了: 用集合定义数 是错误的.数是一个集合概念,但不能用集合概念去定义数。
我定义了数和非数,解决了数学理论的第一块基石,坚固了数学理论大厦.
从程序上正义了数学理论大厦.

谢芝灵

elim 发表于 2021-5-20 15:03
APB 先生主张无穷大整数等等，怎么不发言？

你眼瞎了，elim狗屎吃多了。

elim

主贴论断在实数系是对的，在超实数系是错的。所以楼主的整个逻辑是错的。

谢芝灵

elim 发表于 2021-5-21 00:07
主贴论断在实数系是对的，在超实数系是错的。所以楼主的整个逻辑是错的。

数的定义 可证明“超实数系”为非数。
非数不能进行数学逻辑运算。

得：超实数系不是数。
把 超实数系 踢出了数学 运算。

谢芝灵

定义的定义？
定义p，不准用p去定义p，不准用p的子概念p1去定义p（也就是不准用p的理论p1去定义p）。

定义p 只能用 ┓p 去定义p。