This convention is known as first-order logic without equality.
Αυτή η παραδοχή είναι γνωστή ως λογική πρώτου βαθμού χωρίς ισότητα.