Teorema ëd Löwenheim-Skolem-Tarski
ël teorema che si 𝑇 a l’é n’ansem d’enonsià ch’a l’ha almanch un model infinì, antlora 𝑇 a l’ha un model ëd minca cardinalità infinìa
|
Ël teorema ëd Löwenheim-Skolem-Tarski a fortiss che si T a l'é n'ansem d'enonsià ch'a l'ha almanch un model infinì, antlora T a l'ha un model ëd minca cardinalità infinìa. |