Camp real sarà

Stamp:Prinsipi 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. Stamp:Fin