Identeco de nedistingeblaĵoj
Identeco de nediferencigeblaj aĵoj (latine principium identitas indiscernibilium) - en ontologio rulo, laŭ kiu objektoj, aroj, ktp. estas identeca (estas fakte sama objekto aŭ aro) tiam kaj nur tiam, kiam ĉiuj ecoj de ili estas komuna. Rulo estas uzata por pruvi multajn teoremojn pri identeco.
Verkado de rulo estas germana filozofo Gottfried Wilhelm Leibniz.
Difino
Por ĉiu x kaj y, se x kaj y havas samaj ecoj, tiam x estas identa kun y.
![{\displaystyle \forall x\forall y[\forall P(Px\leftrightarrow Py)\rightarrow x=y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6a8171ddbd203314c24e530e56b5157ada17b773)
Por ĉiu x kaj y, se x ne estas identa kun y, tiam ekzistas almenaŭ unu eco per kiu povas distingi x kaj y.
![{\displaystyle \forall x\forall y[x\neq y\rightarrow \neg \forall P(Px\leftrightarrow Py)]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/688a338201c3cf474ce0b130f4629f8c45cf1af1)