Home / Thesaurus / formal system
Thesaurus: formal system
(logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.
Related headwords
abstractdefinitionanalysisdefinitionconceptdefinitiondeductiondefinitionimplicitdefinitionlogicdefinitionmathematicsdefinitionorganizationdefinitionrelationshipsdefinitiontermsdefinitiontheoreticaldefinitionformalfamilyformal gardenfamilyformal logicfamilyformal semanticsfamilyformaldehydefamilyformalinfamilyformalisationfamilyformalisefamilyformalisedfamilyformalisesfamilyformalisingfamilyformalismfamilyformalismsfamilyformalistfamilyformalisticfamilyformalistsfamilyformalitiesfamily
Definitions
- n. (logic and mathematics) abstract, theoretical organization of terms and implicit relationships that is used as a tool for the analysis of the concept of deduction.