When this second convention is followed, the term normal model is used to refer to an interpretation where no distinct individuals a and b satisfy a = b.
Όταν ακολουθείται η δεύτερη παραδοχή, ο όρος κανονικό μοντέλο χρησιμοποιείται για να αναφερθεί σε μία ερμηνεία όπου τα μη διακριτά άτομα a και b ικανοποιούν την a = b.