Set theory (source code)

= Set theory
{wiki}

When <Ciro Santilli> says <set theory>, he basically means. <Zermelo-Fraenkel set theory>.