Teorija množic

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Teorija množic je veja osnov matematike, ki se ukvarja z množicami. Sodobno teorijo množic je iznašel Georg Cantor. V teoriji množic sta osnovna pojma množica in relacija je element \in, ki ju običajno aksiomatiziramo z Zermelo-Fraenkelovi aksiomi. Vsi ostali pojmi, kot so podmnožica, funkcija, ordinalno število, kardinalno število itn. so izpeljani iz teh dveh pojmov.

Osebna orodja