El teorema de Löwenheim-Skolem se puede utilizar para demostrar que este modelo mínimo es contable.