Identitätsgesetz

Ein grundlegendes logisches Prinzip, das besagt, dass jedes Objekt oder jede Proposition mit sich selbst identisch ist; formalisiert in der Prädikatenlogik durch das Reflexivitätsaxiom x = x für das Identitätsprädikat und in der Aussagenlogik durch die Tautologie p ⇒ p (bzw. p ↔ p).