Hacia un lenguaje con variables indiscernibles

This article presents the basic foundations for supporting formal languages with syntax that admits indiscernible signs. We present their ontological motivation, derived from the non-identity entities of quantum mechanics, and their basic formalism. A possible semantics for interpreting such signs is shown, using the theory of quasi-sets without atoms Q−. Este artículo presenta los fundamentos básicos para sostener los lenguajes for males con sintaxis que admitan signos indiscernibles. Presentamos su motivación ontológica, proveniente de los entes sin identidad de la mecánica cuántica, y su formalismo básico. Se muestra una posible semántica para interpretar tales signos utilizando la teoría de casi-conjuntos sin átomos Q−.