Real_numbers

Real number axioms:

:Let R denote the set of real numbers, and w,x,y,z be elements of R. Then:

• The set R is a Field
• The field R is ordered i.e.
• if x >= y then x + z >= y + z
• if x >= 0 and y >= 0 then x * y >= 0
• If S is non-empty subset of R and S has an upper bound in R, then there exists some z in R that is a least upper bound for S.

Which is all very well, but what are they :)