Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. Von Gottfried Wilhelm Leibniz aufgestelltes Gesetz das den Zusammenhang zwischen Identität und Ununterscheidbarkeit expliziert:
a) Nicht-Unterscheidbarkeit von Identischem (Leibnizsches Gesetz): → ∀F(Fa ↔ Fb)
b) Identität von Nicht-Unterscheidbarem ( principium identitatis indiscernibilium ):∀F(Fa ↔ Fb) → a=b