$$$$

Integrals

• In 25  Axioms we discuss the area problem and give a set of axioms to characterize the operation of integration.
• In 26  \bigstar Construction we give a particular limiting construction (the Darboux Integral) and prove it satisfies the axioms
• In ?sec-int-theory we investigate further properties of the Darboux Integral beyond the axioms; showing that it is a linear operation and all continuous functions are integrable