El Sistema de los consta de:

Un conjunto

Una operacin llamada

Una operacin llamada

Un subconjunto de

Definicin

Nmeros Reales

Suma

Producto

:

:

P

llamado de

Que cumplen:

(P1) , , Ley asociativa para la suma

(P2) talque Existencia de una identi

(

dad p

) ( )

0 0 0

Nmeros Positivos

a b c a b c

a

a

a

b c

aa

ara la suma

(P3) talque Existencia de inversos para la suma

(

( )

4

(

P )

) 0 a a a a

a b

a a

, Ley conmutativa para la suma

(P5) , , Ley asociativa para la multiplicacin

(P6

( )

) t

)

(

al1

b a

a b c b

a b

a b ca c

que 1 0 y Existencia de una identidad para la

multiplicacin

(P7)

1

0

1 a a a a

a

1 1 1tal que Existencia de inversos para la

multiplicacin

(P8)

1

,

a a a

bb aa

a a

a b

( )

Ley conmutativa para la multiplicacin

(P9) , , Ley distributiva

(P10) se cumple una y slo una de las

a b c a b a a b c

a

c

siguientes proposiciones:

Ley de tricotoma

P11

0

-

La suma de positivos e,

i a ii a P iii a P

a b P a b P

s cerrada

(P12) La multiplicac,

A , A acot

in de positivos es cerrada

(P13) Ley del Supado superiormente remosupA

a b P a b P