什么是概率的公式化定理

我只听说过“概率的公理化定义”
就是列出几个无须证明的公理。我记得是
（1）概率P总是非负的
（2）对全集的概率定义为P=1
（3）两个独立的事件的并集的概率等于这两个事件分别概率之和，即加法公理。

功率：P=W/t
电功率：P=IU
纯电阻电路：P=U^2/R
P=I^2*R