让2500年都无人能识的“更无理”数一下子浮出水面推翻百年“R完备、封闭“论——证明R有元x的对应x+1是“更无理”的R外数

很小宁
【摘要】人类发现无理数后的2500年里一直无人能知有“更无理”的R外标准实数。本文据保距变换概念证明R有元x的对应x+1是“更无理”的R外标准实数。
变量x所取各数也均由x代表。设集A=｛x｝表A各元均由x代表，｛x｝中变量x的变域是A。其余类推。
与x∈R相异（等）的实数均可表为u=x+δ（增量δ可=0也可≠0）。数集A可几何化为数轴上的点集A从而使x∈R变换为实数u=x+δ的几何意义可是：一维空间“管道”g内R轴上的质点x∈R(x是点的坐标)运动到新的位置u=x+δ还在“管道”g内。R可几何化为R轴。设本文所说集合往往是元不少于两个的集，定义：若数（点）集A可保距变为B则称A≌B。显然A≌A。
h定理1：数（点）集A=B≌B的必要条件是A≌B。
证：⑴任何图≌自己应是初等几何最最起码常识。⑵若A=B则A必可恒等变换地变为B=A≌A，而恒等变换是保距变换。证毕。
R各元x保距变为u=x+1组成｛u｝的几何意义可是R轴即x轴各元点x沿x轴方向保距平移变为点x+δ=u=x+1生成元为点u的u=x+1轴≌x轴即x轴沿本身平移距离1变为u=x+1轴叠压在x轴上。直线公理使初数一直认定u轴=x轴。
设J=｛x、y｝=｛x｝∪｛y｝=U∪V表J各元均由x或y代表，相应变量x（y）的变域是U（V），其余类推。保距变换（是刚体运动）的特点之一：一个点只能变为一个点。R各元x有对应数y=y（x）=kx。x轴各元点（x，y=0）变为两个对应点：（x，y=0）、（x，y=2x），所有对应点形成的点集是两条直线：y=0、y=2x合并成的直线集不≌x轴。这“一变二”（即用两个点替换一个点）的变换不是x轴的刚体运动使变换前后的点集不≌。这“一变二”的变换将一直线（x轴）变为两条直线，集随元的变换而变换。
R={x}各元x= u0（0是下标）的保距对应数x+δ=u1（1是下标，以下同）=x+1的全体R′=｛u1=x+1}。R轴沿轴平移距离1变为R′轴。R轴={x}各元点x“一变多”地变为四个点：u0=x、u1=x+1、u2=x+2，u3=x+3生成点集E=｛u0、u1、u2、u3｝=｛u0=x｝∪｛u1｝∪｛u2｝∪｛u3｝=R∪｛u1｝∪...。这等价于R轴={ x=u0}先沿其正向平移变为新数轴｛uk=x+k｝（k=1,2，3），然后所有新轴与R轴合并成E轴。R轴变为E轴显然不是R轴的刚体运动使E轴不≌R轴，据h定理1E轴≠R轴。包含R轴的E轴≠R轴说明E必有元点u1或u3“更无理”地突出在R轴外——说明有“更无理”的R外标准实数u1=x+1——说明R有元x的对应u1=x+1是“更无理”的R外数。这推翻了“R轴各点与各标准实数一一对应定理”。不识“更无理”的R外标准实数使初数一直有“常识”：数轴沿本身平移是变回自己的变换。
 “一一对应”中的“一”的含义之一：一个不漏。在未识0与负数时人们通过“对一切正数x都有对应x-1<x”获知有数x-1<一切正数x，同样“对数集R（N）一个不漏的每一（一切）元x都有保距对应数u=x+1>x即对R（N）一切元x都有数u比x大”明确表示有数u=t>R（N）一切数x而在R（N）外。关键是连文盲都知“一个不漏”的确切含义。所以R（N）有“更无理”的太大元x大到使其对应数x+1=t>x“更无理”地突出在R（N）外。
本文实际上是黄小宁的长文《直线公理使初等数学一直将各异直线误为同一线——数集相等定义凸显初数一直将各异假R误为R》的一小部分。