In the modern analytical form of mechanics, such propositions are advanced simply as the results of calculus, without worrying whether they have by themselves, within them, a real sense, that is, one that would correspond to concrete existence, and without bothering with a proof for it.