Informalmente podría decirse que el modelo formal de una teoría es un "mundo imaginario" donde se satisfacen todas las predicciones de la teoría.