§4、概率公理化定义与性质