[求助]请luyuanhong和elimqiu二位老师审查：这是不是对角线方法的一个疏漏?

天茂

下面引用由elimqiu在 2010/11/02 02:56am 发表的内容：
完全性是不可能的。朴素集合论也不能解决连续统假设。

素朴集合系统相对于ZFC和BNG公理集合系统来说是完全的，这并不是说它就是绝对完全的，能把所有的数学都包含在内。
相信今后应该能够发现比素朴集合系统更完全的系统，在这个系统中，可以把连续统假说包含在内。

ygq的马甲

下面引用由天茂在 2010/11/02 10:47am 发表的内容：
素朴集合系统相对于ZFC和BNG公理集合系统来说是完全的，这并不是说它就是绝对完全的，能把所有的数学都包含在内。
相信今后应该能够发现比素朴集合系统更完全的系统，在这个系统中，可以把连续统假说包含在内。

只有“形式ｆｏｒｍａｌ”逻辑的体系，是不容易实现【三歧性】的

elimqiu

楼上两位都是不顾相容性的。一个以为悖论不会扩散，一个没有悖论难受？

天茂

下面引用由elimqiu在 2010/11/02 04:46am 发表的内容：
楼上两位都是不顾相容性的。一个以为悖论不会扩散，一个没有悖论难受？

在简单系统中，完全性和一致性都可以相容的；
而在复杂系统中，完全性和一致性是不相容的。
因此，现代数学系统一般地只照顾到一致性而不考虑完全性。
但是，如果要想完全性和一致性两者都照顾到的话，就需要考虑悖论扩散的问题。而悖论又可分可扩散和不可扩散两类，此时我们需要的是不可扩散的悖论。

changbaoyu

ygq的马甲 ：【连续类型】中③，即包扩①与②，又是【离散类型】中的③！，数理都是相容而非排拆！只是沒找到而异？！·玉·[br][br]-=-=-=-=- 以下内容由 changbaoyu 在 时添加 -=-=-=-=-
一个以为悖论不会扩散，一个没有悖论难受？
[br][br]-=-=-=-=- 以下内容由 changbaoyu 在 时添加 -=-=-=-=-
一个以为悖论不会扩散，一个没有悖论难受？

ygq的马甲

[这个贴子最后由ygq的马甲在 2010/11/02 02:05pm 第 1 次编辑]

下面引用由elimqiu在 2010/11/02 04:46am 发表的内容：
楼上两位都是不顾相容性的。一个以为悖论不会扩散，一个没有悖论难受？

其实，只是你（elimqiu）不懂“悖论ｐａｒａｄｏｘ”而已
因为你（elimqiu）只生活在“形式ｆｏｒｍａｌ”逻辑的世界里[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
难道你（elimqiu）的很多【观点】，与我的是不相容的 ？？？例如实数不可数的
当然，涉及到扩展部分的【悖论】之外

ygq的马甲

下面引用由天茂在 2010/11/02 00:08pm 发表的内容：
在简单系统中，完全性和一致性都可以相容的；
而在复杂系统中，完全性和一致性是不相容的。
因此，现代数学系统一般地只照顾到一致性而不考虑完全性。
但是，如果要想完全性和一致性两者都照顾到的话，就需要考　...

只要遵守【规则】，例如类型不允许混乱，【悖论】就不会扩散的

ygq的马甲

下面引用由changbaoyu在 2010/11/02 00:59pm 发表的内容：
ygq的马甲 ：【连续类型】中③，即包扩①与②，又是【离散类型】中的③！，数理都是相容而非排拆！只是沒找到而异？！·玉·-=-=-=-=- 以下内容由 changbaoyu 在  时添加 -=-=-=-=-
一个以为悖论不会扩散，一个　...

这个跟屁虫，又又又……又出现了

还连话都学不像，例如原话中是：【连续类型】中③，与①与②相连的

wangyangkee

下面引用由ygq的马甲在 2010/11/02 03:31pm 发表的内容： 这个跟屁虫，又又又……又出现了
(www.taoguba.com.cn/img/2009/10/26/GFZVPNWPVN3J.gif)
还连话都学不像，例如原话中是：【连续类型】中③，与①与②相连的

俞根强的 爹妈，养了个不蠢的儿子

elimqiu

下面引用由ygq的马甲在 2010/11/02 02:00pm 发表的内容：
其实，只是你（elimqiu）不懂“悖论ｐａｒａｄｏｘ”而已
因为你（elimqiu）只生活在“形式ｆｏｒｍａｌ”逻辑的世界里

你主张的‘世界’是没有模型的。你可以有这样那样的观点，但跟你的主张没有逻辑关系。