Let be the vocabulary of arithmetic. Let R be the structure that has universe and interprets the vocabulary in the usual manner.

Define a formula such that for any

if and only if .

Is this correct (i think that it is but im just a little unsure)

thanks for any help