Aksioma pilihan taler katulak ring asibak akehan teori himpunan intuisionistik, yadiastun ring akidik versi sané katampi.
The axiom of choice is also rejected in most intuitionistic set theories, though in some versions it is accepted.