Description: A principle of analytic ontology first explicitly formulated by Leibniz. It states that no two distinct substances exactly resemble each other.
