set theory
hulgateooria
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