Udvalgsaksiomet, grundforudsætning i mængdelæren. Aksiomet, der skyldes E. Zermelo (1904), siger, at der for enhver mængde A af ikke-tomme mængder findes en afbildning eller tilordning, der til hver mængde tilhørende A knytter et af mængdens elementer. Med andre ord, at der på én gang kan udvælges et element af hver af mængderne.
Udvalgsaksiomet kan synes indlysende. Det er da også foreneligt med mængdelærens øvrige aksiomer, forudsat at disse er indbyrdes forenelige (K. Gödel, 1938); det samme gælder imidlertid aksiomets negation (P.J. Cohen, 1963).
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.