{
  "citations" : [ {
    "textCitation" : "[See eqid on Metamath](http://us.metamath.org/mpegif/eqid.html)"
  } ],
  "names" : [ "eqid" ],
  "language" : "METAMATH_SET_MM",
  "lookupTerms" : [ "#T_cA", "#T_wceq", "#T_cA" ],
  "metaLanguage" : "METAMATH",
  "remarks" : " Law of identity (reflexivity of class equality).  Theorem 6.4 of [Quine] p. 41. This is part of Frege's eighth axiom per Proposition 54 of [Frege1879] p. 50; see also ~ biid .  This law is thought to have originated with Aristotle (_Metaphysics_, Zeta, 17, 1041 a, 10-20).  (Thanks to <NAME> and BJ for this information.)  (Contributed by NM, 21-Jun-1993.) (Revised by BJ, 14-Oct-2017.) \n\n---\n\n Law of identity (reflexivity of class equality).  Theorem 6.4 of [Quine] p. 41. This law is thought to have originated with Aristotle (_Metaphysics_, Zeta, 17, 1041 a, 10-20).  (Thanks to <NAME> and BJ for this information.)  (Contributed by NM, 5-Aug-1993.)  (Revised by BJ, 14-Oct-2017.) ",
  "statement" : "eqid $p |- A = A $."
}