[{"id":"92447050-n","lexname":"noun.cognition","members":[{"lemma":"formal system","sense":{"id":"formal_system%1:09:01::"},"poskey":"n"}],"definition":["(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."],"example":["A formal system is said to be recursive (i.e. effective) if the set of axioms and the set of inference rules are decidable sets or semidecidable sets, according to context."],"wikidata":["Q649732"],"source":"plWordNet 4.0","partOfSpeech":"n","hypernym":["05734541-n"],"hyponym":["92447049-n"]}]