There are, however, difficulties with this move. First, note that (5) is not equivalent to (2), which is the result to be achieved. Moreover, as opposed to (2), (5) is formulated in model-theoretic terms, since it incorporates a claim about the nonexistence of a certain model. And what is required is a similar statement in terms of the primitive notion of consistency. In other words, we need the nominalistic counterpart of (5), rather than (5).