身份- 一个人或一件事与另一者之间的明确可区分性
eindeutige Unterscheidbarkeit einer Person oder einer Sache von einer anderen
恒等式- 两个项之间的一般等式,其中也可以包含自由变量
allgemeine Gleichheit zwischen zwei Termen, die auch freie Variablen enthalten dürfen