Utvalsaksiomet

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.

Sjå òg

• Velordna mengd

Kjelder

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