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

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

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

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

  ∀x∀y[x=y→∀P(Px↔Py)

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

  ∀x∀y[∀P(Px↔Py)→x=y]