En una forma establece que siΓ\EntailsA entoncesΓ\ProvesA, en otra que siΓ es consistente entonces es satisfecha. Desde que partimos de un conjunto saturado, ahora tenem...En una forma establece que siΓ\EntailsA entoncesΓ\ProvesA, en otra que siΓ es consistente entonces es satisfecha. Desde que partimos de un conjunto saturado, ahora tenemos un conjunto saturado, completo y consistente de oracionesΓ∗ que incluyeΓ. A partir de este conjunto ahora es posible definir una estructura\StructM tal que\SatM(Γ∗)A iffA∈Γ∗.
