Fórmula
Una fórmula de la teoría de conjuntos se obtiene -utilizando el signo primitivo de pertenencia ∈, la igualdad =, los conectores, los cuantificadores, una serie infinita enumerable de variables y paréntesis- de la siguiente manera:
a.
α ∈ β y α = β son fórmulas atómicas;
b.
si λ es una fórmula, también lo son: ¬ (λ); (∀)(λ); (∃)(λ);
c. si
λ1 y λ2 son fórmulas, también lo son (λ1) ó (λ2); (λ1) & (λ2); (λ1) → (λ2); (λ1) ↔ (λ2).
