Teorema ëd compatëssa
| Vos an lenga piemontèisa | |
| Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì |
|
Ës teorema a l'é stàit dimostrà për la prima vira da Kurt Gödel dël 1930 për lengage al pì numerabij. Dël 1936, Anatolij Malcev a l'ha spantialo al cas ëd T ansem d'enonsià ant un lengage pì che numeràbil. N'esempi d'aplicassion [modìfica]Ël teorema ëd compatëssa a l'ha vàire aplicassion ant l'àlgebra. N'esempi a l'é cost-sì: si φ a l'é n'enonsià ver an tuti ij camp ëd caraterìstica zero, antlora a-i é un nùmer natural n tal che φ a l'é ver an tuti ij camp ëd caraterìstica p>n. Dimostrassion. Ch'as consìdera l'ansem T d'enonsià ch'a consist ant j'assiòma pr'ij camp, l'enonsià Për l'ipòtesi, T a l'ha gnun model, donca a-i é 'n sot-ansem finì ëd T ch'a l'ha gnun model e da sòn a-i riva la conclusion. |
SE LEER! ¿Y que? :) Es fácil aprender a leer un idioma que ya se habla. Consulte usted esta pagina y verá, en un momento tendrá usted su Badge de Bogianen :)
Për dì la soa ansima a sta pàgina-sì ch'a-i daga 'n colp col rat an sël tilèt discussion. Për lasseje un messagi a j'aministrator ch'a varda ambelessì. Lìber për chi a veul amprende a lese e a scrive mej an piemontèis, e che an fan d'arferiment a tùit për la coression ortogràfica dij test. Për ёscrive dësgagià, ch'a dòvra la Tastadura piemontèisa! E ch'a manca pa 'd vardesse la pàgina d'agiut për chi as anandia da zero. |
e l'ansem infinì d'enonsià


