Camp real sarà

Da Wikipedia.
Drapò piemontèis.png Vos an lenga piemontèisa
Për amprende a dovré 'l sistema dle parlà locaj ch'a varda sì


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.