section_path: Formal definition
section_name: Formal definition
paragraph_text: Formal definition
  
  An approach to defining what is meant by "area" is through axioms. "Area" can be defined as a function from a collection M of a special kinds of plane figures (termed measurable sets) to the set of real numbers, which satisfies the following properties:
  
  It can be proved that such an area function actually exists.