5. Infinite generating sets

Everything discussed above works for the case of infinite generating sets $g _ i, i \in \alpha$, where $\alpha$ represents any cardinal number. For example, we can make $F _ V (\aleph _ {0})$. Even for infinitely many generators, though, every term $t$ still involves only finitely many of the variables.