Hi,(adsbygoogle = window.adsbygoogle || []).push({});

If one were to formalise physics, what would be the appropriate logic to use? Is FOL already sufficient, since the mathematics involved are first-order, e.g., sets, differentials. Or, is a more expressive logic needed?

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Formalisation of physics

**Physics Forums | Science Articles, Homework Help, Discussion**