We want to prove
forall x in S: F.
Idea: exery element x in S is denoted by some term
fi(x1,...,xmi, y1, ..., yni).
Let the induction run over the structure of every such term: