El principio de que dos objetos matemáticos (conjuntos, relaciones, funciones) son idénticos exactamente cuando coinciden en sus extensiones: los conjuntos tienen los mismos miembros, las funciones dan las mismas salidas para todas las entradas, las relaciones se satisfacen de los mismos n‑tuplas.

Principio

La identidad se determina extensionamente: la igualdad se reduce al acuerdo en pertenencia o comportamiento entrada–salida en lugar de a propiedades intensionales o descriptivas.

Demostración

En la teoría de conjuntos de Zermelo–Fraenkel, el axioma de extensionalidad establece que si cada elemento de x es elemento de y y viceversa, entonces x = y; en teoría de funciones, la extensionalidad funcional afirma f = g si y sólo si para todo x, f(x)=g(x).

Aplicación incorrecta

Aplicar la extensionalidad donde importan distinciones intensionales o hiperrintensionales (por ejemplo, tratar como idénticos contenidos cognitivos, sentidos o textos de programas cuando sus extensiones coinciden o divergen de forma inapropiada).

Consecuencia

Sustenta el razonamiento estándar sobre igualdad en teoría de conjuntos, álgebra y programación funcional: permite reemplazo, simplificación e identificación abstracta basadas sólo en el comportamiento extensional.

Inversión

Los análisis intensionales o hiperrintensionales invierten el principio manteniendo distinciones entre objetos que coinciden extensionamente pero difieren en modo de presentación, contenido computacional o sentido fino.

Límite

Válido en marcos matemáticos extensionales (teoría de conjuntos, teorías de tipos extensionales, muchos contextos algebraicos); no se aplica sin modificaciones a lógicas intensionales, semánticas intensionales de orden superior o situaciones que requieren discriminación hiperrintensional.

Tensión semántica

Tensión entre conveniencia matemática y fidelidad representacional: la extensionalidad simplifica la identidad y el razonamiento pero puede ocultar distinciones importantes para el significado, el cálculo o los roles cognitivos.

Síntesis

La extensionalidad es el criterio canónico de identidad para muchos sistemas formales: reduce la identidad al comportamiento observable (pertenencia o entrada–salida), posibilitando un potente razonamiento ecuacional y provocando tratamientos alternativos donde las diferencias intensionales o hiperrintensionales sean relevantes.