>>357-358

>ここまでは、有限の世界なんだ

いわずもがなだが
有限だから、選択公理不要だと