Comment by hackandthink

I would add that there is/was a certain desire for categorical theories.

"In mathematical logic, a theory is categorical if it has exactly one model (up to isomorphism)."

(categorical is stronger than complete)