The most common convention, known as first-order logic with equality, includes the equality symbol as a primitive logical symbol which is always interpreted as the real equality relation between members of the domain of discourse, such that the "two" given members are the same member.
Η πιο συνηθισμένη παραδοχή, γνωστή ως λογική πρώτου βαθμού με ισότητα, περιλαμβάνει το ίσον σαν ένα αρχικό λογικό σύμβολο το οποίο ερμηνεύεται πάντα σαν την πραγματική σχέση μεταξύ των μελών του πεδίου τιμών, έτσι ώστε τα "δύο" μέλη που δόθηκαν να είναι ένα και το αυτό.