西西河

主题:【原创】上帝之书 -- 我爱莫扎特

共:💬277 🌺1121
全看分页树展 · 主题 跟帖
家园 这个例子不好

“第五公设不可被前四条公设证明” -- 这个论断虽然足够明显(驰名),但是要证明其正确性一点都不简单啊。那些家伙不是花了两千年么,而且本楼主题也是这个,再而且,我从来就没明白,只是记着结论了。

抛开第五公设不谈,能不能有一个什么简单的例子,这个例子证明什么命题是不可证明的。比如:

老铁英明神武

证明:

老铁、英明、神武都是西西河有定义的概念。

但是,老铁如果英明神武了,就必然不英明神武;如果不英明神武,就必然英明神武。

所以,完全没法证明。

呵呵,见谅啊,胡话太多了。

全看分页树展 · 主题 跟帖


有趣有益,互惠互利;开阔视野,博采众长。
虚拟的网络,真实的人。天南地北客,相逢皆朋友

Copyright © cchere 西西河