matematerialismos y turbulencias

Sea S una situación quasi completa y S(G) una extensión genérica de S. Sea una fórmula λ(α) con una variable libre, por ejemplo. ¿Cuál es el valor de verdad de esta fórmula en la extensión genérica S(G), por ejemplo, para un elemento de S(G) que sustituye a la variable libre α?
Un elemento de S(G) es, por definición, el valor referencial R_G(μ₁) de un nombre μ₁ que pertenece a S. Consideremos la fórmula λ(μ₁), en la que el nombre μ₁ sustituye a la variable α. Esta fórmula es comprensible para un habitante de S, pues μ₁ ∈ S.
Entonces, vemos que λ [R_G(μ₁)] es verídico en S(G) -por lo tanto para un habitante de S(G)- si y sólo si existe una condición que pertenece a G y que mantiene con el enunciado λ(μ₁) una relación, llamada de forzamiento, cuya existencia es controlable en S o por un habitante de S.
La relación de forzamiento será indicada 'ℑ'. Tenemos entonces: λ [R_G(μ₁)]^S(G) ↔ (∃ π) [(π ∈ G) & (π ℑ λ(μ₁))].
Queda claro que π ℑ λ(μ₁) -que se dice: π fuerza a λ(μ₁)- se puede demostrar o refutar en S.
Por lo tanto, podemos establecer en S si un enunciado λ [R_G(μ₁)] tiene posibilidad de ser verídico en S(G); es necesario que exista al menos una condición π que fuerce a λ(μ₁).