 The Fraenkel-Mostowski method is a construction of Henkin models which was first used in set theory to obtain models where Axiom of Choice fails, and later used in second-order logic to obtain similar models before the method of forcing emerged. The method goes as follows: Suppose \(\ma\) is a structure and H is a group of permutations on A. A subset B of \(A^n\) is called symmetric if there is a finite set \(E\subseteq A\), called a support of B, such that for all \(\pi\in H\) which fix E  pointwise[17],  