Yes, this is provable in NBG. To see this, let $F$ be a one-one function from $\mathcal P(A)$ into $A$. By induction we define a one-one function $G$ from $V$ into $A$ as follows. Assume $G$ is defined on $V_\alpha$, and suppose that $x\in V_{\alpha+1}\setminus V_\alpha$. Then we let $G(x) = F(G[x])$.
Sam Roberts
- 1.2k
- 1
- 7
- 15