olemus
matemaatilise loogika haru,
uurib hulki
elemendiks olemise seose ∈ omaduste kaudu:
- naiivses hulgateoorias on hulk suvaliste objektide kogum
- aksiomaatilises hulgateoorias tuleb
mingi omadusega hulga olemasolu formaalselt tõestada

ülevaateid
https://en.wikipedia.org/wiki/Set_theory

https://www.bu.edu/lernet/artemis/years/2011/slides/settheory.pdf

http://www.math.toronto.edu/weiss/set_theory.pdf

https://www.cl.cam.ac.uk/~gw104/STfCS2010.pdf

https://www.wiziq.com/tutorials/set-theory