halmazelmélet

A halmazelmélet a matematika egyik alapveto tudományága, mely a halmaz fogalmán keresztül a végtelen sok elemu matematikai összességekkel (számosságaritmetika), illetve a logika matematikai vizsgálatával (modellelmélet) foglalkozik. A halmazelmélet alapveto jelentosségét az mutatja, hogy a matematikai és logikai fogalmak dönto többsége kezelheto a halmaz fogalma segítségével. Sokáig uralkodó volt az a nézet, hogy a teljes matematika megalapozható a halmazelmélet segítségével (lásd még: matematikafilozófia).