Von Gottfried Wilhelm Leibniz aufgestelltes Gesetz, das den Zusammenhang zwischen Identität und Ununterscheidbarkeit expliziert:
a) Nicht-Unterscheidbarkeit von Identischem (Leibnizsches Gesetz):
| a=b → ∀F(Fa ↔ Fb) |
b) Identität von Nicht-Unterscheidbarem (principium identitatis indiscernibilium):
| ∀F(Fa ↔ Fb) → a=b |