アイデンティティ- 人物または事物を他のものから明確に区別できること
eindeutige Unterscheidbarkeit einer Person oder einer Sache von einer anderen
恒等式- 自由変数を含みうる二つの項の間の一般的な等価性
allgemeine Gleichheit zwischen zwei Termen, die auch freie Variablen enthalten dürfen