Involving induction of theories from facts.
Developed on a basis of languages which already exist.
In a manner that deduces theories from facts.
Relating to or containing axioms.
Self-evident or unquestionable.