Formal Systems
1. Mathematics
Mathematics is considered to be a formal language whose semantics describe quantities and quantised relationships. It has nothing to say about reality on its own, but is commonly used to describe relationships in reality, e.g. between the speed and energy of impact of a car, by mapping its variables to real world qualities.
TBD