Synonyms of Formal theory

Primary definition: A theoretical system expressed in a formalized language, relying strictly on explicit axioms, syntax, and deductive rules without relying on intuitive meanings.