ああつまり言いたいのは>>1は無理なことを考えているのでないかなということ
ZやR全体に平行移動で不変な確率を定義するには
どうしたって（超実数に拡張したって）可算加法性は棄てる他無いんじゃないかな