Add a description, image, and links to the set-theory topic page so that developers can more easily learn about it.

Our opening quote contended that Venn diagrams are overrated. Even those who agree must admit that they have a curious allure. Take the sets of interesting topics in logic, in geometry and in ...

The course treats Zermelo-Fraenkel set theory, ZFC, formulated in first-order logic, beginning with a set theoretical construction of the natural and real number systems. Ordinal and cardinal numbers ...