Googology Wiki
Advertisement
Googology Wiki

Is the domain of discourse of second-order set theory equal to the powerset of \(V\), i.e. the class of subsets of \(V\) = the class of sets of sets?

Advertisement