Akademik

formal system

noun

The grouping of a formal language and a set of inference rules and/or axioms.

Syn: logical system, logical calculus, logic

Wikipedia foundation.