 In the case of both kinds of representability (weak and strong), there is always a simple existential \(\Sigma^{0}_1\)-formula, which (weakly or strongly) represents the set in question, and usually such a formula is used to represent \(S\).