Leibnizsches Gesetz
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) |
∀F(Fa ↔ Fb) → a=b |