 A set \(S\) of natural numbers is strongly representable in \(F\) if there is a formula \(A(x)\) of the language of \(F\) with one free variable \(x\) such that for every natural number \(\boldsymbol{n}\):