Тотожність нерозрізнених — це онтологічний принцип, який стверджує, що не можуть існувати окремі об’єкти чи сутності, які мають усі властивості спільні. тобто сутності x і y є ідентичними, якщо кожен предикат, яким володіє x, також володіє y, і навпаки.

тотожність нерозрізнених, принцип, проголошений Г.В. Лейбніц що заперечує можливість того, що два об’єкти чисельно відрізняються, але мають спільні властивості.

Нерозрізнення тотожних говорить: якщо x і y чисельно ідентичні, то x і y якісно ідентичні. (ii) називається тотожністю нерозрізнених, оскільки він стверджує, що нерозрізнені об'єкти повинні бути ідентичними. Ця теза викликала чимало дискусій серед метафізиків.

Нерозрізнення тотожних: ∀x,y, x = y означає, що для всіх предикатів P, P(x) ↔ P(y) Як наслідок цих правил: Принцип підстановки: Щоб довести, що кожен x,y з x = y має властивість P(x,y): • достатньо довести, що кожна пара x,x (для якої x = x) має властивість P(x,x).

Принцип неідентичності помітних стверджує, що ми повинні усунути всі непотрібні сутності та принципи пояснення в наших теоріях. Метафізичний матеріалізм є різновидом монізму.

«Ідентичність нерозрізнених є онтологічний принцип, який стверджує, що не може бути окремих об’єктів або сутностей, які мають усі свої властивості спільними.” Загалом можна з упевненістю припустити, що не існує перевірених онтологічних принципів.