只说一句,简单却很重要

定理的证明和集合论的运算法则,几乎是同构的.呵呵,甚至可能就是同构的.

大道至简!