blilver

希尔伯特方法（或者称之为公理化方法）：我们将一个锁住的笼子放在沙漠的一个已知位置上，然后我们引入以下的逻辑系统：
公理一：撒哈拉沙漠的狮子集不是空集；
公理二：如果撒哈拉里有一头狮子，那么笼子里就有一头狮子；
推理规范：如果 P 是一个定理，同时有“P 蕴含了 Q”，那么 Q 是一个定理；
定理一：笼子里有一头狮子。
公理二不明白，撒哈拉里的狮子为什么必须在笼子里？

blilver

公理 axiom 是不证自明的，比如“两点之间直线最短”。作者宣称是“公理”了，就只能把它当事实来 ...
马丁 发表于 2012-1-28 13:40

但是公理二显然有逻辑上的错误啊＝  ＝