这个讨论到后面有点骂街啦……

不知道楼主所谓的自然数不是有无穷公理刻画的，那么定义是什么？
大概M+1不是自然数？

就算把8去掉，命题依旧成立。

这贴子怎么又冒出来了啊.

LZ犯低级错误，而且还认为他是对的- -。该骂

从某个角度说，楼主的命题的成立条件之中包括“自然数集N和实数集R是有穷数集”

518楼用来形容楼主自己再合适不过，楼主是对的，楼主是对的，大家散了吧。

楼主证明的大体逻辑
命题1.对于有限集{1，2，3，4，5，6，7，8}任何一个数x，y都能从N中取到值q（q可以为x），q≥x
命题1成立的充要条件是存在最大元素M=8
命题2.对于N中的任何一个数x，y都能从N中取到值q（q可以为x），q≥x
命题2成立的充要条件是存在最大元素M
首先，我不考虑楼主内部证明是否存在漏洞，但存在最大元素M绝不是命题成立的充要条件，因为当N中不存在最大元素时，命题2同样成立。也就是说不管N中有没有最大元素，命题2都成立，这是两个不相关的命题。楼主的逻辑好比是，1+1=2的充要条件是今天会下雨。

楼主内部的逻辑应该是严密的，这也是为什么从内部证明过程中无法驳倒楼主。但是由于选择了一个不相关的命题，得出了自认为正确的结论。楼主可能是将这个证明当作一个悖论题来挑战书本上的常识，从而加深我们对命题的理解吧。

阿列夫0？

我竟没看完了

王大师经典精华帖