La teoría de conjuntos más fácil de formalizar es,la e Fraenkel-Zermelo (Z), por cuanto que esta teoría, no tiene sino un solo término inefinido, sto es, la relación de pertenencia que simbolizamos como "formula_2". 

 Puesto ue los parámetros son los únicos síbolos en el vocabulario deun lenguaje de primr rden que dependen de la teoría previamente axiomatizada T, entonces, uno formaliza T simplemente escogiendo estos parámetros. Una ve hecha esta “selección”, la totalidad de la teoía T quedaformalizada. Se puede ahora expresar en el lenguaje de primer orden resultante , no sólo lo axiomas definiciones y teoremas de T, si no mucho más.
La teoría de conjuntos más fácil de formalizar es, la de Fraenkel-Zermelo (FZ), por cuanto que esta teoría, no tiene sino un solo término indefinido, esto es, la relación de pertenencia que simbolizamos como "formula_2". 

 Puesto que los parámetros son los únicos símbolos en el vocabulario de un lenguaje de primer orden que dependen de la teoría previamente axiomatizada T, entonces, uno formaliza T simplemente escogiendo estos parámetros. Una vez hecha esta “selección”, la totalidad de la teoría T queda formalizada. Se puede ahora expresar en el lenguaje de primer orden resultante L, no sólo los axiomas, definiciones y teoremas de T, si no mucho más.
remove_spaces
wikipedia