Mengd

Ei mengd er eit av dei viktigaste omgrepa i matematikk. Mengdelære vart utvikla på slutten av 1800-talet, og er grunnlaget for moderne matematikk. Det er vanleg å definere andre matematiske omgrep ved hjelp av mengder.

Mengdelæra går tilbake til Georg Cantor. Han definerte ei mengd som ei «samling bestemte, forskjellige objekt, sett på som eit heile.» Det viste seg at ein slik definisjon fører til uløyselege paradoks. (Sjå Russells paradoks). Difor let ein vere å definere omgrepet mengd, men ser istaden på det som eit grunnomgrep som ein ikkje kan definere.

Ei mengd inneheld objekt, kalla element. Elementa kan vere kva som helst, til dømes tal, personar, bilar eller andre mengder. Ei mengd må vere veldefinert: for kvart objekt må det vere mogleg å avgjere om objektet er eit element i mengda eller ei.