De
verzamelingenleer vormt sinds het begin van de twintigste eeuw een van de
grondslagen van de
wiskunde. De verzamelingenleer betreft de bestudering en formalisering van het begrip
verzameling, en ondersteunt daarmee de
axiomatische onderbouwing van andere deelgebieden van de wiskunde.