You could always be a intuitionist&#x2F;constructivist, and enjoy &quot;choice&quot; as a theorem.  It seems completely reasonable to give up uncountable infinities.<p><a href="http:&#x2F;&#x2F;arxiv.org&#x2F;abs&#x2F;math&#x2F;0404335" rel="nofollow">http:&#x2F;&#x2F;arxiv.org&#x2F;abs&#x2F;math&#x2F;0404335</a>