A Critique of Primitive Identity from ZFC to Homotopy Type Theory
The law of identity (A=A) is not foundational but derivative. It presupposes that A is defined, and definition requires distinction from a background. Formalizing this via a 'Referential Set' R(A), we prove that identity implies R(A) is not empty. We demonstrate that Homotopy Type Theory (HoTT) and the Univalence Axiom vindicate this view by treating identity as structural equivalence rather than primitive property.
@misc{farzulla2026identitythesis,
author = {Farzulla, Murad},
title = {Identity is Irreducibly Relational},
year = {2026},
howpublished = {Farzulla Research Working Paper DAI-2603},
doi = {10.5281/zenodo.18186445},
url = {https://farzulla.org/papers/identity-thesis}
}