In a manner that deduces theories from facts.
Involving induction of theories from facts.
Developed on a basis of languages which already exist.
In a deductive manner; using deduction