A theorem in mathematical logic that states that for any infinite logical theory, there exists a countable model of that theory.
A theorem in mathematical logic that states that for any infinite logical theory, there exists a countable model of that theory.