Assertion: logic | /r/HasProperty | a set of axioms and rules
Facets:
Source sentences:
text: A logical system for a language is a set of axioms and rules designed to prove exactly the valid arguments statable in the language.