The ZFC axioms are statements combining "atomic formulas" such as "p ∈ A" and "A = B", using AND, OR, imply, NOT, for all and exists.
But (it seems to me, at least) there is the implicit assumption that the "atomic formulas", "p ∈ A" and "A = B", are considered to be propositions, i.e. they are...