I asked a similar question before, but it did not give the answer I was looking for, so I will clarify what I actually want in this question. H. Andreka created a formal first-order logic theory that was meant to axiomatize special relativity. I very much enjoyed reading his paper and other papers that axiomatized special relativity. However, I have yet to find a similar text for Newtonian mechanics. What I am looking for is a paper or papers that give a formal first-order theory that axiomatize Newtonian mechanics.