Loi d'Identité

Principe logique fondamental affirmant que tout objet ou proposition est identique à lui‑même ; formalisé en logique des prédicats par l'axiome de réflexivité x = x pour le prédicat d'identité, et en logique propositionnelle par la tautologie p ⇒ p (ou p ↔ p).