我已经知道一种形式： $\Big| \bigcap_{i=1}^n A_i \Big| = |U| - \Big| \bigcup_{i=1}^n \overline{A_i} \Big|$ 似乎还有一种类似于 $\Big| \bigcup_{i=1}^n A_i \Big| = \sum_{k=1}^n (-1)^{i+1} \Bigg( \sum_{1\le i_1 < \cdots i_k \le n} |A_{i_1} \cap \cdots \cap A_{i_k} |\Bigg)$ 的形式， 有人知道吗？谢谢了。