First-Order Logic - What is a First-Order Logic type theory?

A collection of statements or axioms expressed in the language of First-Order Logic is called a theory in First-Order Logic. In other words, its variables and quantifiers are domain-specific and only apply to full sets of people, not to subsets of those people, nor to any functions or relations between them.