A quotation from Saul Kripke
Quotation
Identity statements between names, when true, are necessarily true, even though one might not know it a priori.
Quotation
Identity statements between names, when true, are necessarily true, even though one might not know it a priori.