In logic, an axiomatic system is expressed in a formal language and typically coupled with a proof system. However, a philosophical theory does not always need to be formal and typically does not ...