 Proof. Let A = ⟨A, ∈ ⨡ A⟩ be a transitive model of ZFC and let  L  be the first-order language of set theory augmented by a name a for each a ∈ A, and an additional constant c. Let Δ be the set of  LA-sentences comprising: