information:extraction, stylistic:tone
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.