>>765
完全加法性　A∩B=φのとき
n(A∪B)=n(A)+n(B)
は認める必要があるんじゃないの?
(数え上げが測度だと思うなら、だけど)