成立为什么啊？好像没有证明，是一种公理系统。 不成立的也有吧，那是抽象代数学了。