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'$\mathbb {R}$. An d'àutre paròle: si φ a l'é n'enonsià ant ël lengage dij camp, antlora φ a val an $\mathbb {R}$ si e mach si φ a l'é derivàbil da costi assiòma.