For a function $f(x)$ that is differentiable at $x$, the derivative of $f$ with respect to $x$ at the point $x$ is usually given as $$\frac{df(x)}{dx} = \lim_{h\to0} \frac{f(x+h)-f(x)}{h}.$$
I think a much more natural (and perfectly rigorous) definition is one that more similarly resembles the usual $\frac{df(x)}{dx}$, namely $$\frac{df(x)}{dx} = \lim_{dx\to0} \frac{df(x)}{dx},$$ where $df = f(x + dx) - f(x).$
This is essentially the same thing, but to me it carries more meaning.
To me, not only does this more clearly show what the derivative means (the gradient of $f$ at $x$, as opposed to between two points), but it also allows $dx$ -- and likewise $df$ -- to be understood as variables like any other, rather than some sort of new notation (which is what I and every one of my classmates thought when first taught differentiation in school). It justifies the algebraic manipulation of $dx$ as a variable like any other, for example in Leibniz's notation for the chain rule: $\frac{dz}{dx} = \frac{dz}{dy} \cdot \frac{dy}{dx}$. It would no longer require teachers to answer the question, "but... can we do that?" with, "yes, just trust me." (a teacher would likely need to remind students that $dx$ approaches zero; algebraic operations are merely applied before the limit is evaluated)
It also lends to easier understanding of the integral by making concrete the idea that $dx$ is just another variable: $$\int_a^b f(x)\ dx$$ is just the sum of all values of f(x) times $dx$ in the interval $[a,b]$. Since multiplication distributes over addition, it allows the above integral to be (perfectly rigorously) written as $$dx \int_a^b f(x),$$ provided it is understood that this represents the sum as $dx$ approaches zero.
It also reveals why differentiation and integration are inverse operations: the derivative of $f$ is $f(x)$ divided by $dx$, while the integral of $f$ is $f(x)$ multiplied by $dx$ (roughly speaking). If the integral of a function's derivative is taken: $$\int \frac{df}{dx} \, dx,$$ the $dx$s evaluate to $1$, which leaves $$\int df,$$ the sum of infinitely many infinitesimal changes in $f$, which is just $f(x)$.
Anyway, I was wondering why we don't use $dx$ as the limiting variable in the derivative definition -- I see no reason why the limiting variable and the variable of differentiation can't be the same thing.