Camp real sarà

Un camp real sarà a l'é na strutura ch'a sodisfa j'assiòma sì-dapress:
j'assiòma ëd camp;
l'adission ëd doi quadrà a l'é un quadrà;
si a a l'é nen un quadrà, antlora -a a l'é un quadrà;
minca polinòmi ëd gré dëscobi 2n+1 a l'ha na rèis.
A venta armarché che la dariera arcesta a consist ëd na quantità infinìa d'assiòma, un për minca valor d'n natural, e a l'é nen possìbil trové n'ansem finì d'assiòma ch'a basto.

N'arzultà ëd completëssa ëd Tarski a fortiss che costi assiòma a descrivo la teorìa algébrica d'.
An d'àutre paròle: si φ a l'é n'enonsià ant ël lengage dij camp, antlora φ a val an  si e mach si φ a l'é derivàbil da costi assiòma.

Categorìa:Àlgebra