"Had we but world enough and time," we could dispense with general propositions. Instead of "all men are mortal," we could say "Socrates is mortal," "Plato is mortal," and so on. In fact, however, this would take too long, and our vocabulary of names is insufficient. We must therefore use general propositions.

Bertrand Russell

(from An Inquiry into Meaning and Truth, 1950)