Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

In the book "Foundations of Set Theory" by Fraenkel, Bar-Hillel and Levy (second edition, 1973), on page 153, there is the following statement about Ackermann set theory:

"By means of the axiom of foundation one can prove the existence of the class $P(V)$ which consists of all subclasses of $V$." ($V$ is the class of all sets).

My question is:

Is there a proper class $X$ in Ackermann set theory, for which $P(X)$ does not exist in Ackermann set theory?

($P(X)$ is the collection of all subclasses of $X$.)

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.