>>272
>∞回食べる、を有限の数を使わずに示す必要があるのではないですか？
>
>無限回の操作がなぜ終わるのでしょう
可算無限濃度 ℵ_0 でも連続体濃度 ℵ_1 でも非可算濃度なら何でもいいけど、
それらは全部任意の自然数より大きい濃度である。
濃度は自然数のように順序付けられた大小関係が入っている。