Ontological proofing

Could it be that the third step in Gödel's ontological proof--because it sets up as inclusory particular exclusory sets (as it might be, mercy/judgement)--acts as the ground for the paradox, in a special sense, that ontological proofs by definition try and avoid?