matematerialismos y turbulencias

Decimos que una fórmula está restringida al múltiple α si:
a. Todos sus cuantificadores operan sólo sobre los elementos de α. Lo que significa que (∀)(β) estará seguido de β ∈ α, y (∃)(β) lo mismo. "Para todo" significa entonces "para todo elemento de α" y "existe β" significa "existe un elemento de α".
b. Todos los parámetros toman sus valores fijos en α. La sustitución de valores en las variables paramétricas queda circunscripta a los elementos de α.
- Indicamos λ^α la fórmula λ restringida a α.
- La fórmula λ^α es la fórmula λ tal como la comprende el habitante de α.