You could always be a intuitionist/constructivist, and enjoy "choice" as a theorem. It seems completely reasonable to give up uncountable infinities. http://a

You could always be a intuitionist/constructivist, and enjoy "choice" as a theorem. It seems completely reasonable to give up uncountable infinities. http://arxiv.org/abs/math/0404335 http://arxiv.org/abs/math/0404335