Thus , a decision problem informally phrased in terms of a formal language is also equivalent to a set of natural numbers .
Thus , a decision problem informally phrased in terms of a natural language is also equivalent to a set of formal numbers .