2
$\begingroup$

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$.)

$\endgroup$

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.