>>462
>高々可算個の無限小を足して
有限加法性しか保証されていないのにこれはまずくないですか?