Leibniz's principle of the Indiscernibility of Identicals can be formalized as follows: (P(x) ↔ P(y))) \xy(x=y In other words, for any objects x, y, if x is identical to y, then x and y have all properties in common. This principle is held to be a first-order truth.
