数学基礎論・数理論理学　その19

V⊃V×V⊃R={(2^x,P(x))|x∈V}
V'=V/R=∪Vα/((Vα×Vα)∩R)
x∈V→x'=[x]∈V'
2^x'=[2^x]=[P(x)]=P'(x')
ZF|=V'？