In ZFC, for example, there is no universal set, so what does it mean to write $\forall x (\cdots)$, i.e., for all sets something is true? Does it avoid the problem by quantifying over all elements but not allowing those elements to form a set?
A related question I have is about quantifying over infinite sets. If $X$ is a finite set with $n$ elements $x_1, x_2, x_3, \ldots, x_n$, Then it is reasonable to define $\forall x\in X :P(x)$ to be the statement $P(x_1)\wedge P(x_2)\wedge\cdots\wedge P(x_n)$ (which can be formalized using a recursive definition). But what about infinite sets? It seems that if $Y$ is a countably infinite set with elements $y_1,y_2,\ldots$, then $\forall y\in Y: P(y)$ would mean $P(y_1)\wedge P(y_2)\wedge\cdots$, which we couldn't finish stating. For uncountable sets, we would miss an element in between every time we count upwards.