\begin{definition}[Definition:First Order Logic with Identity]
A system of '''first order logic with identity''' is a system of predicate logic with the following elements in its alphabet:
\end{definition}