Teorija skupova

Sa Wikipedije, slobodne enciklopedije
Idi na: navigacija, traži
Question book-new.svg Ovaj članak ili neka od njegovih sekcija nije dovoljno potkrijepljena izvorima (literatura, web stranice ili drugi izvori).
Sporne rečenice i navodi bi mogli, ukoliko se pravilno ne označe validnim izvorima, biti obrisani i uklonjeni. Pomozite Wikipediji tako što ćete navesti validne izvore putem referenci, te nakon toga možete ukloniti ovaj šablon.

Teorija skupova je matematička teorija skupova, koji predstavljaju kolekcije apstraktnih objekata. Obuhvataju 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 sa 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 tačke i crte u euklidskoj geometriji, i nisu sami po sebi definisani.

Spisak teoretičara[uredi | uredi izvor]

Commons logo
U Wikimedijinom spremniku se nalazi još materijala vezanih uz: