Esto trae a discusión una de las diferencias entre el Lenguaje de la Teoría Axiomática de Conjuntos y el lenguaje mediante el cual hablamos de éste, y que, para nuestro caso, es el castellano complementado con alfunos otros símbolos (como los caracteres formula_22, formula_25, formula_14, formula_15, formula_17).