Assertion: circle's area | /r/HasProperty | defined through the use of axioms
Facets:
Source sentences:
text: Area can be defined through the use of axioms, defining it as a function of a collection of certain plane figures to the set of real numbers.