Hopp til innhald

Utvalsaksiomet

Frå Wikipedia – det frie oppslagsverket

Utvalsaksiomet er eit viktig aksiom i mengdelære. Ein kan formulere aksiomet på fleire måtar, til dømes ved at ein i ein kvar familie av mengder kan velje ut eitt element frå kvar av dei og på den måten danne ei ny mengd. Enkelte matematiske teorem kan bevisast utan utvalsaksiomet medan andre ikkje kan. Aksiomet er særleg viktig for uendelege mengder.

«utvalgsaksiomet – matematikk» i Store norske leksikon, snl.no.