Back Stelteorie Afrikaans Mengenlehre ALS ሥነ ስብስብ Amharic Teoría de conchuntos AN समुच्चय सिद्धान्त ANP نظرية المجموعات Arabic সংহতি তত্ত্ব Assamese Teoría de conxuntos AST Çoxluqlar nəzəriyyəsi Azerbaijani Күмәклектәр теорияһы Bashkir
Teorija skupova je matematička teorija dobro definisanih kolekcija objekata koje zovemo skupovima. Ovi objekti se zovu elementi skupa. Čista teorija skupova je ona teorija u kojoj su elementi skupa opet skupovi. Srž teorije skupova je proučavanje beskonačnih skupova. U teoriji skupova skupovi su dati aksiomatski, tj njihovo postojanje i osnovna svojstva su data odgovarajućim formalnim aksiomama. Formalni jezik čiste teorije skupova dopuštaju da se formalizuju svi matematički pojmovi. Na taj način teorija skupova postaje standardna osnova matematike pošto svaki matematički objekt može da se vidi kao skup i svaka teorema matematike može logički biti izvedena predikatskim računom iz aksioma teorije skupova.
Oba aspekta teorije skupova, kao matematičke nauke o beskonačnom i kao osnove matematike, imaju svoje filozofsko značenje. Da bi se mogao u potpunosti razumeti ovaj članak, potrebno je prvo ovladati Osnovama teorije skupova