改正:“排中律”,不是“三段论”。


所有跟贴·加跟贴·新语丝读书论坛

送交者: 国际法 于 2010-11-01, 13:39:40:

回答: 不同的公理系统,可以有完全不同的不同。比如欧氏几何跟非欧氏几何 由 国际法 于 2010-11-01, 12:55:50:

有一种公理系统没有“排中律”这条推理规则,著名的构造主义数学,就是这样一种公理系统。



所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明