Talk:Tarski–Vaught test

In the example, one should probably try to be more clear. That formula actually defines a member of P (the number 7)...