If an equality relation is included in the signature, the axioms of equality must now be added to the theories under consideration, if desired, instead of being considered rules of logic.
Εάν μία σχέση ισότητας υπάρχει στην υπογραφή, τα αξιώματα πρέπει τώρα να προστεθούν στις θεωρίες υπό εξέταση, εάν είναι επιθυμητό, αντί για τους κανόνες της λογικής.