udvalgsaksiomet
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