冪集合公理のほうが自明じゃなくね？

C:class
P(C)={x⊂C|x∈V}
P(C)=C
x⊂C⇔x∈C
y⊂x⊂C→y∈C
y∈P(x)→y∈C
P(x)⊂C
P(x)∈C
x∈C→P(x)∈C
C:inaccessible