Definition:First Order Logic with Identity

Definition
A system of first order logic with identity is a system of predicate logic with the following elements in its alphabet: