Theory (mathematical logic)
First-order theories with identity

A first-order theory Q S {\displaystyle {\mathcal {QS}}} is a first-order theory with identity if Q S {\displaystyle {\mathcal {QS}}} includes the identity relation symbol "=" and the reflexivity and substitution axiom schemes for this symbol.
keywords:frequency, startend:end_checker