He did this by giving a complete axiomatization of Newtonian mechanics with no reference to numbers or functions at all.
Hän esitti Newtonin mekaniikan täydellisen aksiomatisoinnin, joka ei viitannut lukuihin tai funktioihin lainkaan.