ABSTRACT

The set of all sets, S, ought surely to be the biggest set of sets there is. But the power set of the set of all sets is bigger than S.