|
在人类现实中，常会碰到定律、定理、公理、定义 等概念。 纯理论逻辑中才有定理、公理、定义。 宇宙物理有理论又有实验，所以有定律、定理、公理、定义等概念。 定律的定义：n次实验（或观察到的现象），都会出现基本相同的表象。 如：太阳这么多次的从地球东出西落。 得到一个定律：地球上某地点上的人总会看到太阳从某一个方向出来和某一个方向落下。 这个定律 不能证明 太阳围着地球转 人类用数亿个不同偶数都能写成“质数+质数”形式。 能得到一个定律：人类现条件下用n个连续的偶数能试验能写成“质数+质数”形式。 这个定律 不能证明理论的歌猜。 人类用燃料在封闭容器中燃烧后，重量基本不变（当时计重器允许下）。 得到了到一个定律：物质不灭。 这个定律不能证明物质不灭理论。 后来人类又用精准的计量仪证明了核爆实验后 原材料减少了。 得到了到一个定律：物质可灭。 上定律不能证明物质不灭理论。 因为：核爆后原材料被碎为很小的粒子，这些粒子能穿透实验室的墙。 原材料质量并不减少，属外逃。类似中微子。 当理论证明了有最小粒子时，才用理论证明了： 物质不灭。 所以，物质不灭就成为了定理。不再是定律了。 有些道理太简单了、太公平了，太一目了然了。用不着去证明，大家都公认可。==== 叫公理。 公理定义：简单、公平、一目了然了用不着去证明的、大家都公认可的理论。
公理是不证自明的真理
这里的“不证”是指“不必去证明”，因为它很简单了，简单的大家都认可了。 这里的“不证”不是指 “不能被证明”。
公理,是能证明了。==== 见后面的证明。
注意：公理并不是不能证明。
既然是真理，就必有逻辑去表述其“真”。
没有逻辑去表述其“真”，就没“真”可言。
把这个表述“真”的逻辑 写出来，就是证明了真理（公理）。
数亿次实践，是不能证明一个公理、也不能证明一个理论。
所有
实践都不能证明一个理论。实验只得到一个现象、表象，这些现象、表象有不同的解读。 得，实践是检验真理的唯一标准是错误的。 公理,是必须能证明了。
证明：
假如公理不能证明。
假如，真有证明不了元素A。 得 元素A就是一个不确定的元素， 理论上证明不了的元素A， 大家是可以胡说八道的， 你今天可认认可，明天可以否定， 他可以认可，你可以否定。 所有不能证明的元素 是不能做为标准的。 不能做为标准，就不能成为理论依据。 所以，不能证明的 理论是不能成为公理、定理的。
既然不能证明，肯定会有人不认可，有人不认可就不能视为公理了。
上面证明了： 公理 是必须能证明了。 例：公理：数≠非数。 公理是公认的是对思维正常人说的。对乡下老太太可能不管用，她不认可。 所以只能拿出证明。 证： 因为： 数 参加了组成了数学王国。 所以：数是数学王国的成员，所以数接受数学王国的法则。 必须能进数王国。 所有“非数学王国的元素” 不具备进入数王国的资格。
“=”是数王国的器具元素具只存在数学王国中，
所以：非数 与“=”无缘。 得：非数≠任何元素。 得：非数≠数 。 证毕！
例：有人要求我证明
分析：
1+1=2
属于人类进位制的一种设定和规定。===属一个定义。
属于一个已知条件。 单单 1+1=2 严格上不构成命题。 上面是个人为设定符号问题。 不属命题，只要优先取符号即可。 因为人们最把 “双倍”用2 代。 证题思路：只要证明定义： 1+1=2 存在，且合理。 所有定义、设定
必须存在、且合理。
证： 因为人类设定了最小自然数1， 由最小自然数1的相加（或连续截取）得 ：1+1 由1与（1+1）不同，所以按优先原则，先有1，再有（1+1）
所以
又
所以可设定取： 1+1=x 既可以是 x，或x是2，即
按先后原则，人类先设定了2为x的值。既2为第二个自然数。
优先原则的逻辑：设定
1+1=？只要不与之前别的设定矛盾就行。得 按优先原则，后来的取数和运算都不能与最先的 1+1=2矛盾。 由优先设定 1+1=2 就不存在：1+1=3，1+1=4，1+1=5 ,.... 不存在：1+1=2 中2之外的所有数。
1+1=2 是唯一的。
所以：1+1=2 存在、且合理。乎合定义、设定要求。 证毕！
公理：两点之间,线段最短.
证： 线段定义：两个端点的直线段 叫线段。 先确定了不重合的两点A、B。 可证得：两点之间必存在最短的线。 假如没最短这线，必存在无限短的线。 逻辑：没最短必有无限短。 你又确定了两个点，所以 两个点不是动点。 得两点不能靠近。 所以不能无限的变短，就必有最短的线。 这个最短的线取名为直的线，又有两个端点A、B。 所以，线段定义存在，且合理。
证明了AB为最短。
公理证毕！ 公理： 过两点只能画一条直线。 证： AB最短具有唯一性，既不能有比最短还短的了。 唯一性得只有一条。所以只能画一条。 如在 最短的线段AB之外画一点C，再分别连结CA、CB，就形成ACB线。
得：两线“AB与ACB”不重合。
AB线段为最短，所以ACB长于线段AB。
又AB线段为最短取名为直线，得ACB为非直线。
非直线取名为曲线。
得 把直的线段AB再向两端点外“按AB原形”无限延长的线为l，得只能为一条（因为AB为唯一）。 所以l也为直的线。==== 因为 l是按“直的线”原形不变得来的。 证明了：过两点只能画一条直线。 定理的定义：理论的结论 不能一目了然的表达让大家公认，必须借助公理或逻辑 表达后才能让大家肯定的理论结论。 知道下棋吗？ 一般人看一步、二步、三步，大家都能一目了然的结果就好比 公理。 复杂的棋局，很多人看不懂结局，高手能看几十步，他能知道结局，高手解释后大家才懂 就好比定理。 由于所有理论必须要被证明才能做标准，才能进入数学、物理，才能进入逻辑。 得：所有人为的定义必须要证明存在性合理性后才能成为真定义，否则是不能进入数理几何系的、只能是孤立存在的私定义。 故，定义不能随意。 即不能定义：1＞0和1＜0 同时存在 ； 不能定义：1=0.9999.... 不能定义：有限=无限。 定义有两种：公设；私设。 不管公设还是私设，都必须先证明其存在性、合理性。 定义的定义：对元素（或概念）的限定表达。 公设：基本同于公理。大家公认的 设定。一般不必证明，但对方反对时必须能给出证明。 私设：大家不能认同的设定。必须有证明 此私设存在性、合理性。 如，时间的定义，爱因为时间是物质的、随速度可变化的。==== 必须给出证明。 现代也有人给出的时间定义：所有物质在宇宙中向同一方向波型中心线上的均匀流速。 时间是：均匀速度、连续的、不间断的，非物质的、也没有量子特性、统一的。 时间是一种速度，匀速。 不管物体运动多快多慢，其时间是不变的。 所以全宇宙的时间是统一的。 时间是一个抽象概念，不是物质。但时间是物质属性。 证明见百度： 后语： 不能证明的 必然是神棍玄术，必然是非数学、非理论。 只要是数学王国中的元素，都是能被证明了。 不能证明的元素是可以胡说八道的。 所以，公理、定理 都是能证明的。 所以，物理中的物论必须能被证明的。 能证明的才是公理、定理。 不能证明的不能作理论依据。 今天不能证明的不等于将来不能证明，但必须证明后才能作为理论。 |
|
|
