Example:

Is this formula satisfiable? yes

What are possible cardinalities for models? they all have exactly two elements.

What are ground terms for this formula?

Cardinality is infinite!

By Herbrand theorem, does every satisfiable first-order logic formula have Herbrand model? Only if formula has no equality! We made this assumption when proving Herbrand theorem.