Sure, but you can deduce a proof of e.g. Navier Stokes given its statement and some axioms