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