- 779 名前：１３２人目の素数さん mailto:sage [2021/10/30(土) 17:10:02.98 ID:zgBubH+2.net]
- >>694
>イヤ、問題になってたのはお前の“無限シングルトン”の話やろ？
>お前の“無限シングルトン”Xの元Yは無限シングルトンなんか？有限シングルトンなんか？
>どっちやねん？
別に拘らんよ、元の存在か
いろいろ考えられるよね
元無しのUrelementでも構わんし
元有りの集合として考えても可
とにかく、“有限シングルトン”の n→∞（or ω）の極限を考えたら、（可算）“無限シングルトン”が考えられるってだけ
それがどんなものかは、無責任だが、興味がある人が考えたら
