定义和含义

同一律，指的是，一个对象就是这个对象，也就是说，一个定义或者一个命题不能同时是自身又是别的。

层次标注

在这里，它属于第二层知识，即学科概念。

辅助理解的解释

如果我们用集合的思想来表达，就非常容易理解了，也就是，在一个集合中，那么，一个元素的含义是确定的，它和其他元素之间是不会混淆的，这也就是集合中元素的互异性，你很早就知道的。于是，你可能慢慢有点感觉了，集合的思想和集合的语言，是整个逻辑的底层基石。