Leibniz theorem

Application of both the Gauss theorem and the Leibniz theorem leads to ... 

The second axiom, which is reminiscent of Mach s principle, also contains the seeds of Leibniz s Monads [reschQl]. All is process. That is to say, there is no thing in the universe. Things, objects, entities, are abstractions of what is relatively constant from a process of movement and transformation. They are like the shapes that children like to see in the clouds. The Einstein-Podolsky-Rosen correlations (see section 12.7.1) remind us that what we empirically accept as fundamental particles - electrons, atoms, molecules, etc. - actually never exist in total isolation. Moreover, recalling von Neumann s uniqueness theorem for canonical commutation relations (which asserts that for locally compact phase spaces all Hilbert-space representations of the canonical commutation relations are physically equivalent), we note that for systems with non-locally-compact phase spaces, the uniqueness theorem fails, and therefore there must be infinitely many physically inequivalent and... 

The next step is to differentiate Legendre s equation n times. Using the Leibniz [6] theorem one gets... 

The concept of limit seems to be essential in the understanding and the present teaching of Calculus. In this article, however, we show how to structure and use differential calculus without introducing this concept. The crucial idea in this development is to use Leibniz rule for the derivative of a product of two functions as one of the postulates, rather than as a derived theorem. Within this approach, the idea of limit could be introduced belatedly and only in order to define concepts such as continuity and differentiability in a more rigorous fashion. 

---