The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa; to suppose two things indiscernible is to suppose the same thing under two names. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below.
A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. It is one of his two great metaphysical principles, the other being the principle of sufficient reason. Both are famously used in his arguments with Newton and Clarke in the Leibniz–Clarke correspondence. Because of its association with Leibniz, the principle is sometimes known as Leibniz's law. (However, the term "Leibniz's Law" is also commonly used for the converse of the principle, the indiscernibility of identicals (described below), which is logically distinct and not to be confused with the identity of indiscernibles.)