Teorija množic
From Wikipedia, the free encyclopedia
Teoríja mnóžic je osnovna matematična disciplina, ki definira in preučuje značilnosti množic in na kateri je zgrajena večina sodobne matematike. Številne matematične discipline, kot so algebra, analiza, teorija mere, stohastika ali topologija, so zgrajene na teoriji množic. Vrh tega je teorija množic bistveno povezana tudi s predikatno logiko.