Diferencia entre revisiones de «Identidad de los indiscernibles»
Contenido eliminado Contenido añadido
mSin resumen de edición |
|||
Línea 23:
:<math>\forall x \forall y (x = y \to \forall P (Px \leftrightarrow Py))</math>
A veces se llama ''
== Notas y referencias ==
|