通常用逻辑的手段，考虑所有可能性，排除所有不可能性，从而达到证明的完备性。

来源: 于 2010-10-02 14:39:45 [博客] [旧帖] [给我悄悄话] 本文已被阅读：次