In fact, Parmenides had some thoughts of identity.

• 早在巴门尼德就有了同一思想，后来到亚里士多德提出同一律，但莱布尼茨将其形式化并且明确地提出它的符号形式，后人称它为莱布尼茨定律。