$\mathcal U$ Grothendieck universe. Is $\mathcal{P(U)}$ a model for NBG?

logic set-theory model-theory

Solution 1:

Yes, the power set of a Grothendieck universe is a model of NBG, and even of the stronger Morse-Kelley set theory.

Related

Find $x\in \mathbb{Z}$ such that $54x^3+1$ is a cube
Is it possible to solve for two unknowns from one equation?
Rudin Theorem 1.35 - Cauchy Schwarz Inequality
Koszul complex of locally free sheaves
Word indicating that the authority of the speaker changes the meaning
Is the "be" redundant here?
How is "totalitarian" properly used in a non-political sense?
Midnight Cowboy quote that I can't understand
Is "thanks to" now used also in negative contexts? [closed]
Using "had" vs "have" in conjunction with "previous"
Definite article in front of button names
Is the difference in English between height and length based solely on perspective?