matematerialismos y turbulencias

Las variables de la teoría de conjuntos son letras que designan "en general" un múltiple. Cuando escribimos α, β, ... etc., quiere decir: un múltiple cualquiera.
- La peculiaridad de la axiomática de Zermelo es que implica sólo una especie de variables; de este modo, inscribe la homogeneidad de lo múltiple puro.
- En una fórmula, una variable está ligada si está en el campo de un cuantificador; si no lo está, es libre.
En la fórmula (∃α) (α∈β), α es ligada y β es libre.
-Una fórmula que tiene una variable libre expresa una propiedad supuesta de dicha variable. En el ejemplo referido, la fórmula dice: "existe un elemento de β". Ella es falsa si β es vacío; si no, es verdadera.
De manera general, indicaremos λ(α₁, α₂,..., α_n) una fórmula donde las variables α₁, α₂,..., α_n son libres.