概率论自身有一套很深的理论体系，读过《几何原本》的读者会知道，伟大的欧几里得之所以伟大，是因为它基于几条最基本的公理，推导除了整个欧式几何学的理论体系，同样，在概率论这里，一切的推导都是源于下面的概率论公理。

首先是对概率的定义：

能够看到概率本身的定义就是基于极限的，是理想的。

基于这几条公理，就可以推导一些简单的命题了。

命题3的推广形式其实就是容斥恒等式。