The Language of First-Order Logic