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.