Talk:Tarski-Vaught test

From Wikipedia, the free encyclopedia

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