>>4
>一階述語には、議論領域（ドメイン）というのがあるが、
>これはZFCの集合で記述されることになっている。

それは一階述語論理の意味論の話であって、
一階述語論理の話ではない。