The approach to a scientific, mathematical, or other theory, that exhibits it as a formal system, thereby making it possible to treat formally the question of its implications, its compatibility with other theories, and the logical independence of its different axioms.
Philosophy dictionary. Academic. 2011.