>>717
ん?無限を実体として扱わないのだから、そもそも選択公理は考慮する必要さえないのでは?