>>530
級数より、切断と集合で説明した方が、論理学に合うと思うんだけれど。