sa ðəmʊstɾˈat kˈɛ lɐɡzjˈomɐ ðələksjˈo es indəpəndˈen də lɐ ɾrˈɛstɐ ðɐksjˈoməs ðə lɐ tɛˌoɾˈiɐ ðə kʊnʑˈuns; es ɐ ðˈi, nˈo ˈɛs pˈot ðəmʊstɾˈa nˈi ɾrəfʊtˈa.
S'ha demostrat que l'axioma d'elecció és independent de la resta d'axiomes de la teoria de conjunts; és a dir, no es pot demostrar ni refutar.