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

Kategori:Aksiom i mengdelære