Redaktion og opdatering af indholdet på denstoredanske.dk er indstillet pr. 24. august 2017. Artikler og andet indhold er tilgængeligt i den form, der var gældende ved redaktionens afslutning.
Den Store Danske bliver fra efteråret 2020 opdateret af Foreningen lex.dk.

  • Artiklens indhold er godkendt af redaktionen

udvalgsaksiomet

Oprindelig forfatter Gut Seneste forfatter Redaktionen

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).

Annonce

Referér til denne tekst ved at skrive:
Tage Gutmann Madsen: udvalgsaksiomet i Den Store Danske, Gyldendal. Hentet 3. april 2020 fra http://denstoredanske.dk/index.php?sideId=176347