Teorija skupova je matematička teorija o skupovima, koji su kolekcije apstraktnih objekata.
Obuhvaća svakodnevnu notaciju skupa, kao što je ona uvedena u osnovnoj školi, kao kolekciju objekata, te pripadne koncepte elemenata i članstva takvih kolekcija. U većini modernih matematičkih formalizama teorija skupova predstavlja jezik opisa matematičkih objekata. Zajedno s logikom i predikatnim računom predstavlja jedan od aksiomatskih temelja matematike, dozvoljavajući formalnu konstrukciju matematičkih objekata iz nedefiniranih termina "skupa" i "članstva skupa". Predstavlja punopravnu granu matematike, i aktivno je područje istraživačkog rada.
U naivnoj teoriji skupova, skupovi su uvedeni koristeći tzv. samoevidentni koncept skupova kao kolekcija objekata smatranih cjelinom.
U aksiomatskoj teoriji skupova, koncepti skupa i članstva skupa su definirani indirektno postuliranjem određenih aksioma koji specificiraju njihova svojstva. Shodno ovakvoj koncepciji, skupovi i članstva skupa su fundamentalni koncepti poput točke i crte u euklidskoj geometriji, i nisu sami po sebi definirani.
This article uses material from the Wikipedia Hrvatski article Teorija skupova, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Sadržaji se koriste u skladu s CC BY-SA 4.0 osim ako nije drukčije navedeno. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Hrvatski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.