蛇足

>>643
＞ヒルベルトの無限ホテル（この場合可算無限集合）のパラドックスには、
＞“可算選択公理”が使われている

これ完全な誤解
なぜなら真部分集合への全単射の構成に可算選択公理は必要ないから

なんか「デデキント無限」を持ち出してるけど、
可算選択公理がない場合、
「デデキント有限」な無限集合が存在する
というだけで、ヒルベルトの無限ホテルの
実現を妨げるものではない