>>421
選択公理を否定すると多くの命題の証明が大変になるから、
選択公理を否定する人は少ない