Özdeşlik yasasını ontolojide "Her var olan kendiyle özdeştir." biçiminde formüle ediyoruz ve var olanların her türlü değişime rağmen kendileriyle özdeş olan, değişmeden kalan bir özleri, sabit bir töz olduğunu ifade ediyoruz. Örneğin Leibniz'e göre her var olan tek ve biriciktir.