I have a formula in first order logic. I was teach the standard pre-interpretation followed by a interpretation.
Now, i have studied the Herbrand interpretation. My prof. told me that the Herbrand interpretations are a smaller number respect the set of standard interpretations. But why ?