Y una teoría tiene un modelo infinto si tiene al menos una interpretación con un dominio infinito que hace verdaderas a todas las fórmulas de la teoría.