<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
Which class of geometric theory is countably categorical?
<|assistant|>
A First-Order Geometric Theory with a countable language and a countable number of axioms may be countably categorical. This means that any two countable models of the theory are isomorphic.