 We briefly review the paradoxes: the Russell paradox doesn’t work because \(x \not\in x\) is not a positive formula; notice that \(\{x \mid x \in x\}\) exists! The Cantor paradox does not work because the proof of the Cantor theorem relies on an instance of comprehension which is not positive. \(\wp(V)\) does exist and is equal to \(V\). The ordinals are defined by a non-positive condition, and do not make up a set, but it is interesting to note that the closure \(\mathbf{CL}(On)\) of the class \(On\) of ordinals is equal to \(On \cup \{\mathbf{CL}(On)\}\); the closure has itself as its only unexpected element.