> has not formalized the original "natural language" idea of Navier-Stokes incorrectly

Did you mean “not…correctly”?