概率论自身有一套很深的理论体系，读过《几何原本》的读者会知道，伟大的欧几里得之所以伟大，是因为它基于几条最基本的公理，推导除了整个欧式几何学的理论体系，同样，在概率论这里，一切的推导都是源于下面的概率论公理。
首先是对概率的定义：
能够看到概率本身的定义就是基于极限的，是理想的。
基于这几条公理，就可以推导一些简单的命题了。
命题3的推广形式其实就是容斥恒等式。
