set theory

[yxgao]

Prove that for all y there's a transitive p such that y is an element of p. Don't use foundation.

[Hurkyl]

What have you tried already? Have you experimented with simple examples?