宇宙真相（122）：ε-δ语言定义lim无数学意义

谢芝灵

定理:二选一，任意小不是最小就是无限小。
证明：
任意小、最小、无限小 的共性：小。
都是前提为小定义出的新概念。
有小的前提下，没有最小，就是无限小。记为（1）。
因为任意性，
所以：任意小“可以是“最小（符合限定词“任意”的随意性条件）。
也“可以不是”最小（符合限定词“任意”的随意性条件）。
得二选一。
第一种情况：取，任意小是最小。
第二种情况：取，任意小不是最小。
当不是最小时，必然是无限小。见（1）。
证毕！


所以 ε不是最小就是无限小。

elim

"小"为前提的讨论,其实就是非数学的讨论. 因为这东西既不是原子命题也不是合适公式. 讨论走向胡扯, 是必然的事.