A few questions about "small" transitive sets. I'm currently reading about ordinals, working on various exercises since I haven't formally studied the material before.
I'm looking at transitive sets. A set $z$ is said to be transitive if and only if $\forall y \in z [y \subset z]$. They also define
$$0 = \emptyset \quad \quad 1 = \{0\} = \{\emptyset\} \quad \quad 2 = \{0,1\} = \{\emptyset, \{\emptyset\}\}.$$
An exercise asks to show that every non-empty transitive set contains $0$, and that every non-singleton transitive set contains $1$, assuming the Axiom of Foundation. Showing the first part wasn't too bad, and I think I was able to show the second part using the first.
Then, it asks to show that $1$ is the only one-element transitive set, and $2$ is the only two-element transitive set. I'm having some difficulty showing this. Here's what I was able to come up with for $1$. As for $2$, I'm stuck.
My attempt
Suppose $x = \{y\}$ is a transitive set. Then, any arbitrary element $z \in y$ is also in $x$. However, the Foundation Axiom states
$$ \exists y(y \in x) \rightarrow \exists y(y \in x \wedge \neg \exists z(z \in x \wedge z \in y),$$ 
and I interpreted this as saying that $\forall z(z \not \in y)$, which means that $y = \emptyset$, implying $x = {\emptyset} = 1$. $\square$
I would greatly appreciate any hints/help with this one. 
 A: Assume $\{a\}$ is transitive. As you have shown that $\emptyset\in\{a\}$, we immediately have $a=\emptyset$ and $\{a\}=1$.
Assume $\{a,b\}$ is transitive with $a\ne b$. As you have shown, $\emptyset$ is one of these, so assume wlog. $a=\emptyset$ and $b\ne\emptyset$. By transitivity, $b\subseteq \{\emptyset,b\}$. Using Foundation, we find $b\notin b$, hence $b=\emptyset$ (contradicting $b\ne a$) or as last option $b=\{\emptyset\}$. Hence $\{a,b\}=2$.
A: For $1$ just use the fact that every nonempty transitive set includes the empty set. For $2$ you can use that to conclude that if a transitive set had a nonempty and not a singleton member then it has at least three members. From there it's easy. 
A: For one-element transitive sets:
If $x = \{ y \}$ is a one-element transitive set distinct from $1 = \{ \varnothing \}$, then $y \neq \varnothing$, and so there is some $z \in y$.  By transitivity, $z \in x$, and since $z,y \in x$ and $| x | = 1$ we have $y = z$, but this then contradicts Foundation ($y = z \in y$).
The two-element case can be done via a similar analysis.
