matematerialismos y turbulencias

En una fórmula de tipo λ (α, β₁,..., β_n), podemos considerar a las variables β₁,..., β_n como marcas a reemplazar por nombres propios de múltiples fijados. Llamamos entonces β₁,..., β_n las variables paramétricas de la fórmula. Un sistema de valores de los parámetros es una n-upla < γ₁,..., γ_n> de múltiples fijados o especificados (por lo tanto, de constantes, o nombres propios). La fórmula λ (α, β₁,..., β_n) depende de la n-upla < γ₁,..., γ_n> elegida como valor de las variables paramétricas β₁,..., β_n. En particular, lo que dicha fórmula "dice" de la variable libre α depende de esa n-upla.
-Por ejemplo, si tomamos al conjunto vacío como valor del parámetro β₁, la fórmula α ∈ β₁ es por cierto falsa, cualquiera que sea α, ya que no existe ningún múltiple α tal que α ∈ Ø. Por el contrario, ella es verdadera si se toma p(α) como valor de β₁, ya que para todo conjunto, α ∈ p(α).
-Comparación: el trinomio ax² + bx + c tiene, o no tiene, raíces reales, según cuáles sean los números que se sustituyan a las variables paramétricas a, b y c.