Identity of indiscernibles（不可分与同一性）

不可区分的对象或者实体，全部性质都相同。也就是说，实体 $x$ 与实体 $y$是同一的，如果对 $x$ 成立的全部断言，对 $y$ 同样成立（反之亦然）。

注意区分如下的两个概念：

• 同一性的不可分性（The indiscernibility of identicals）

  $$\forall x \, \forall y \, [x=y \rightarrow \forall P(Px \leftrightarrow Py)$$

• 不可分的同一性（The identity of indiscernibles）

  $$\forall x \, \forall y \, [\forall P(Px \leftrightarrow Py) \rightarrow x=y]$$