4 Complete Theories

This section will give one useful test to decide if a theory is complete, and it is easy to see that any two countable models of T are isomorphic.