提上來作為邏輯學家補充“碧海藍天”:

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

這兩句話定義了一個在  ”有男人的女教友“  域上定義了一個  ”教主親自行房“  的運算。但這個運算當”有男人的女教友“ 是教主本人時，它不是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