The following is an excerpt from the course CS-157, Introduction to Logic, Lesson 12.2.
... that Herbrand Logic is inherently incomplete, it is not surprising that Herbrand Logic is not compact.
What does the author mean when he says that Herbrand logic is incomplete? - does it mean that any proof-system on Herbrand logic will be incomplete.