要验证概率的频率定义符合概率公理，（主要验证可加性）
书上只是说了符合有限可加性，那从有限可加性到可列可加性，
中间是不是有个默认的潜台词，即频率定义的样本空间是有限的？

否则的话似乎不能从有限可加性得到可列可加性啊
--
FROM 116.224.121.*