Background:
Tarski showed that PA isn't a truth theory for it's own language, i.e. there's no wff $T(x)$ in the language of arithmetic ($L_a$) such that, if $\phi$ is a sentence in $L_a$:
$$PA \vdash \phi \equiv T(\left\ulcorner \phi \right\urcorner)$$
Question 1: Can ZFC do this? That is, is there a wff $T(x)$ in the language of ZFC such that for the set-theoretic interpretation of any $L_a$-sentence $\phi$:
$$ ZFC \vdash \phi \equiv T(\left\ulcorner \phi \right\urcorner)$$
Question 2 Can ZFC express arithmetic truth? That is, is there a wff $T(x)$ in the language of ZFC such that for the set-theoretic interpretation of any $L_a$-sentence $\phi$, $\phi$ is true in the standard model iff $ZFC \vdash T(\left\ulcorner \phi \right\urcorner)$.
And, finally, is there any relationship between these two questions?