Szabályos így definiálni egy halmazt?

pl: Adott egy A = {0} halmaz és a P halmazt úgy akarom definiálni, hogy:

P = { x eleme N | (x eleme A) vagy (létezik y eleme P úgy, hogy x = y + 2)}

Na most ez egy bugyuta példa, de a kérdés az, hogy deifinálhatom-e a P halmazt úgy, hogy már a definícióban is szerepel a P halmaz? Erre a részre gondolok: "létezik y eleme P úgy...".