http://bbs.sports.tom.com/forum/view_thread.php?forumid=111&threadid=111842

科学家特喜欢搞一个公理化体系,其中尤以数学家为甚.所谓公理就是你只能承认它,它可以用来解释别的概念而不能用别的概念来证明它的那么一个东西.公理化体系就是由几个公理作为基础,然后发展出一个由N多定理,推论组成的体系.最著名的公理化体系就是欧氏几何.它仅仅有五个公理,但在这五个公理的基础上却建立了一个无比宏伟,富丽堂皇的大厦.
如果一门学科能建成一个公理化体系,那它的地位就很高,是让科学家们所欣赏和赞叹的.就会被认为它有了一个理论体系,就成了一门真正的学科.
公理化体系讲究自洽性，就是说这个体系中各个结论之间不能互相矛盾。它还讲究完备性，就是说这个体系中所有的结论都能够由这几个公理推导出来。在此基础上，它还喜欢简单性，就是说这个体系的公理越少越好。比如说欧氏几何的第五公理，就是“直线外一点有且只有一条直线与已知直线平行”。近千年来，就有无数的数学家想把它证明，想把它从体系中去掉。当然都没成功。
总之，啰嗦这么多，我想达到的目的就是想让步大家一见到公理化体系就特景仰，就觉的特幸福。
好了，回到围棋，我认为围棋就是一个公理化体系。我现在建立这个体系，请方家指正。
公理一：黑先白后，一人一手。
有人说，这也叫公理啊，这不废话嘛。其实，很多公理就这德行。简单到废话的地步。
公理二：气尽则亡。
就是说一堆子如果没气了，就死了，就得从棋盘上拿走。仍然非常简单。
公理三：气“先”尽者亡。
比如说一堆白子只有一个眼，外气也没了，现在黑子放在白棋的那个眼里，那么黑白双方都没气了，算谁死呢？由于这是黑棋的主动动作，所以规定白棋的气先没，白死。白棋从棋盘上拿走后，黑就有气了，黑是活的。这就是气“先”尽者亡的意思。
公理四：打劫公理。
这是为了防止死循环。要想把它说清楚，得发个图。但我这个人懒，而且汽油们都知道打劫是怎么回事，我就不啰嗦了。
公理五：贴子公理。
这是为了判断胜负而必须设置的一个公理。而且它在与时俱进。比如古代是还棋头，我学棋的时候是黑贴2又3/4子，现在是黑贴3又3/4子。
好了，很高兴的告诉大家，围棋的公理化体系我已经建立完毕了。如果您是一个初学者，你看了我这个公理化体系后，已经可以正确的下围棋了。当然水平的提高是另外一回事。
围棋的其他东西都可以从这五个公理推导出来。比如，我们都知道围棋两个真眼是活的。但它不是一个规定，或者说公理。而是可以由公理一和公理二推导出来。（导过程算我给大家留的家庭作业）。因此“两眼活”是个定理。而不是公理。
我特别讨厌日本围棋规则的原因就在于此。它不是一个好的公理化体系。例如，“盘角曲四”这个棋型，在日本围棋规则里是硬性规定它是死的。这就多了一个公理。而在中国围棋规则里，尤其是在我这个公理化体系中，它的死亡是可以推导出来。只能是个推论。
所以说日本围棋规则是个很不好的工理化体系，原因在于多了很多不必要的公理。违背了简单性的原则。据燕来先生和愚公先生考证，日本围棋规则好象还有自相矛盾之处，那它还违背了自洽性。总之，大大的不好。
我为中国先人的智慧而自豪，他们创造的这个游戏是如此完美。我还特别为自己自豪。今天，公元2006年，10月9日，我，相思断，把围棋公理化了。公理化后的体系是如此美妙。