Description: Aims at integrating empirical theories within an axiomatic framework. It follows the Aristotelian thought of using first principles in search of knowledge.