əls tɛˌoɾˈɛməs lɐ pɾˈoβɐ ðəls kwˈals iŋklˈɔw lɐɡzjˈomɐ ðələksjˈo son sˈɛmɾə nˈo kʊnstɾʊktˈiws: pʊstˈulən ləɡzistˈɛnsiɐ ðə kˈɛlkʊm sˈɛnsə indikˈa kˈom ʊbtənˈiˈʊ.
Els teoremes la prova dels quals inclou l'axioma d'elecció són sempre no constructius: postulen l'existència de quelcom sense indicar com obtenir-ho.