>>61
>>20は有限集合の定義だよな

その場合、無限集合に適用できる「算術」とは何のことだ