A fundamental result in Model Theory which states that if a countable theory has a model, then it has a countable model. Furthermore, it has a model of every Cardinality greater than or equal to (Aleph-0). This theorem established the existence of ``nonstandard'' models of arithmetic.

**References**

Chang, C. C. and Keisler, H. J. *Model Theory, 3rd enl. ed.* New York: Elsevier, 1990.

© 1996-9

1999-05-25