section_path: Arithmetic
section_name: Arithmetic
paragraph_text: Arithmetic
  
  The real numbers form an ordered field. Intuitively, this means that methods and rules of elementary arithmetic apply to them. More precisely, there are two binary operations, addition and multiplication, and a total order that have the following properties.
  
  Many other properties can be deduced from the above ones. In particular: