Mongdarlæra

Mongdarlæra er tann støddfrøðiliga ástøðin um mongdir, sum umboðar mongdir av óítøkiligum lutum. Hon hevur eina miðstøðu í nútíðarstøddfrøðiligum ástøði, av tí at hon gevur tað grundleggjandi mál, sum øll støddfrøði kann orðberast í.

Mongdarlæran mentist serliga í tíðarskeiðnum, 1880-1920. Georg Cantor lýsti tey fyrstu hugtøkini, Bertrand Russell og David Hilbert veittu munandi hjálp til at gera tað til eitt samsvarandi ástøði. Mongdarhugtakið fekk greiða merking frá Zermelo-Fraenkels grundreglunum.

Teljitøl kunna setast upp sum mongdir við tað, at 0 svarar til ta tómu mongdina, $\emptyset$, 1 til mongdina, sum inniheldur ta tómu mongdina o.s.fr.