>>888
>>２）よって、「箱入り無数目」のしっぽ同値類は、理念としは成り立つも、その実行は人類の手に余る
>実行が人類の手に余ることが誤りの原因なら、無限個の箱を用意する時点で、すなわち数列を考える時点で誤り

大事なことだから書くね

１）数学ではしばしば、理念として理想的なものを考える
　例えば無限集合とかね
２）そうすると、しばしば ヒルベルトの無限ホテルのパラドックスのようなものに遭遇する
　でも、無限集合を考える方がすっきりする場合が多い。だから、無限公理を作ってでも、無限集合が存在することにするんだ
３）他に、無限遠点も同じですね。リーマン球面の無限遠点ね
　それ以外にも、グロタンディーク宇宙や到達不能基数とかあるよ
４）結局、よく注意しないといけないんだ
　そうしないと「箱入り無数目」になる　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88%E3%81%AE%E7%84%A1%E9%99%90%E3%83%9B%E3%83%86%E3%83%AB%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9
ヒルベルトの無限ホテルのパラドックス

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理

https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
リーマン球面
無限遠点 ∞ を一点追加して複素平面を拡張したものである

https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99_(%E6%95%B0%E5%AD%A6)
宇宙 (数学)
集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。このアイデアにはいくつものバージョンがあるため、項目を分けて説明する。
圏論
圏論に歴史的につながる宇宙への別のアプローチの方法がある。これはグロタンディーク宇宙と呼ばれる。大まかに言えば、グロタンディーク宇宙とは集合論の通常実行されるすべての操作を内部にもつ集合である。

https://ja.wikipedia.org/wiki/%E5%88%B0%E9%81%94%E4%B8%8D%E8%83%BD%E5%9F%BA%E6%95%B0
到達不能基数
強到達不能基数の存在は、グロタンディーク宇宙が存在するという形で仮定される場合がある。この両者の間には深い繋がりがある