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
add comment

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.