Cool idea, and the site looks nice. That being said, I was lost by the end of the first section.
EDIT: reading the whole thing, there's quite a bit of sloppiness and stuff that's flat-out wrong, like " the faster the cart goes, the faster it stops", or the statement at the end claiming that nonlinear DEs don't have solutions. In short: this needs a major cleanup.
OTOH, you are correct to the extent that we don't usually use both the "fact/proposition" language and the "solve" language at the same time when discussing equations.