提上来作为逻辑学家补充“碧海蓝天”:

“如果你的男人和你行房，教主就不和你行房。”“如果你的男人不和你行房，教主就和你行房！”

这两句话定义了一个在  ”有男人的女教友“  域上定义了一个  ”教主亲自行房“  的运算。但这个运算当”有男人的女教友“ 是教主本人时，它不是well-defined.

类似于，你说 y = 1/x 如果 x 是实数，它对 x = 0 不是 well-defined.

回到原题，当”有男人的女教友“ 是教主本人时，教主可以对这个运算特别定义为”教主行房“ ，也可以定义为”教主不行房“ 。

上世纪最伟大的发现是：”在一个系统中一定存在一个命题，它在这个系统中既不能被证明，也不能被证伪。“（如果你假定这个命题为真，原系统成为一个新的系统。如果你假定这个命题为伪，原系统成为另一个新的系统。）

比较容易理解的例子是欧几里德几何里的平行线共设。假定“平行线共设”不成立，可以产生“非欧几里德几何”。 非欧几里德几何中以假定平行线相交两点的为“椭圆几何”，以假定平行线相交一点的为“双曲几何”。

所有跟帖： 

• 行房前不宜, 看了容易暂时性 YW, 呵呵呵. -铁塔哥- ♂ (0 bytes) () 04/03/2011 postreply 17:50:13

• 笑s.... 学生好玩。。。。。 -阿里- ♂ (0 bytes) () 04/03/2011 postreply 17:56:26

• 除了例子荒诞，逻辑倒是没问题 :D -碧海蓝天~- ♀ (0 bytes) () 04/03/2011 postreply 17:51:22

• 非常真实地告诉你，教主在生活中就是 -阿里- ♂ (64 bytes) () 04/03/2011 postreply 17:53:54

• 有点意思。。。慈善活动 + 纯友谊 :D -碧海蓝天~- ♀ (0 bytes) () 04/03/2011 postreply 18:03:27

• 慈善活动和纯友谊在两个不同的域上： -阿里- ♂ (69 bytes) () 04/03/2011 postreply 18:08:02

• 知道，但是对你来说，仍然是either/or，有合二为一的吗？ -碧海蓝天~- ♀ (54 bytes) () 04/03/2011 postreply 18:14:29

• 是！ MM聪明！合二为一了就变成一个s循环 -阿里- ♂ (29 bytes) () 04/03/2011 postreply 18:16:15

• 拍拍。。。也许有一天可以跑出来，等时间让你成长 :) -碧海蓝天~- ♀ (0 bytes) () 04/03/2011 postreply 18:18:34

• 我以为阿里又在高谈阔论，怎么这几个字居然占了20K bytes? -飞熊- ♂ (0 bytes) () 04/03/2011 postreply 18:08:20

• 字字千金。。。。。。 -阿里- ♂ (0 bytes) () 04/03/2011 postreply 18:09:19

• 一个字顶一万, 比毛主席还厉害. -铁塔哥- ♂ (0 bytes) () 04/03/2011 postreply 18:17:46

• 未来5年金价将过2000. 阿拉伯世界将大乱。 -阿里- ♂ (0 bytes) () 04/03/2011 postreply 18:24:45

• 原来教主的女人不是女教友 -ScentofaWoman- ♀ (0 bytes) () 04/03/2011 postreply 18:17:50

• 0也是实数。 -阿里- ♂ (0 bytes) () 04/03/2011 postreply 18:23:33

• 你是说“他的女人大星“是个女教友？ -ScentofaWoman- ♀ (0 bytes) () 04/03/2011 postreply 18:31:51

• 你为啥关心这？ -阿里- ♂ (0 bytes) () 04/03/2011 postreply 19:08:59

• 嗯？他的女人大星不是个女教友就不存在“你的男人不和你行房，教主就和你行房“不是吗？ -ScentofaWoman- ♀ (0 bytes) () 04/03/2011 postreply 19:25:48

• 大星是个女教友。 -阿里- ♂ (0 bytes) () 04/03/2011 postreply 21:42:32