First-order language
Redirect to:
First-order logic