S (set theory)

System of mathematical set theory From Wikipedia, the free encyclopedia