Boarders on Nostr: high school integration: axioms are the antiderivatives of elementary functions plus ...

high school integration: axioms are the antiderivatives of elementary functions plus theory of equality, arithmetic etc., There are rules of integration by parts, linearity and substitution, the theorems are all equalities of integrals in terms of other terms in the language. One is particularly interested in normal forms which are terms which no longer involve the integral sign