En lógica de primer orden con identidad, el principio de identidad se expresa: