De axiom vaan keuze weert in de mieste intuïtionistiese verzaomelingstheorieje aafgeweze, mèr in sommige versies weert ‘t geaccepteerd.