Definición 2.1 Llamaremos "Lenguaje de la Teoría Axiomática de Conjuntos" al lenguaje formal que contiene un solo relator diádico eventual, formula_1.