Teorema ëd compatëssa

Da Wikipedia.

	Artìcol prinsipal an lenga piemontèisa
	Version an parlà locaj: Astësan Bielèis Canavzan Langhèt Lissandrin Monfrin Noarèis Seban Valsesian Valsusin
	Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì

Ël teorema ëd compatëssa a fortiss che si minca sot-ansem finì ëd n'ansem T d'enonsià a l'ha 'n model, antlora ëdcò T a l'ha un model.

Ë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.

[modìfica] N'esempi d'aplicassion

Ë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à $\neg \varphi$ e l'ansem infinì d'enonsià

$1+1 \neq 0, 1+1+1 \neq 0, 1+1+1+1 \neq 0, \ldots$

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.

OMMI! Ma io non SO LEGGERE!! E be'? :) È facile leggere una lingua che si parla già. Consulti questa pagina e vedrà, in un attimo anche Lei avrà il suo badge da bogianen :)

St'utent-sì a l'é un bogianen

OMMI! pero si YO no
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 :)

22.154 artìcoj scrivù e na media ëd pàgine lesùe davzin a 1.750.000 pàgine l'ann!

'cò ti it peule travajé a fé pì granda e bela la wikipedia piemontèisa. Tùit a peulo gionté dj'anformassion, deurbe dij neuv argoment, deje na man ai volontari ch'a travajo ambelessì 'ndrinta. Rintra ant la Piòla e les coma avnì a fé toa part. I soma na gran famija e i l'oma da manca dël travaj ëd tuti. Se it la sente nen dë scrive n'artìcol, a-i son vàire travajòt da fé andova a fa pa da manca d'esse na cima a scrive për podej giuté. Mersì.

BANCHÈT dj'UTISS

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ì.