Diferencia entre revisiones de «Igualdad matemática»

17 bytes eliminados ,  hace 7 meses
m
Revertidos los cambios de 147.75.116.74 (disc.) a la última edición de Superzerocool
Etiqueta: posible pruebas
m (Revertidos los cambios de 147.75.116.74 (disc.) a la última edición de Superzerocool)
Etiqueta: Reversión
El [[axioma de extensionalidad]] establece las condiciones de igualdad entre conjuntos.
 
== Cálculo de predicados de primer orden con igualdad perros eso esta mal==
 
La [[lógica de predicados]] contiene los [[axioma]]s estándar para la igualdad que formalizan la [[Identidad de los indiscernibles|ley de Leibniz]], propuestos por el filósofo [[Gottfried Leibniz]] en el siglo XVII. La idea de Leibniz era que dos cosas son idénticas si y solamente si tienen exactamente las mismas [[propiedad (lógica)|propiedad]]es. Para formalizar esto, debemos poder decir:
1 235 837

ediciones