Assertion: fact | /r/HasProperty | proven by logical argument
Facets:
value: from certain axioms
type: OTHER
value: from definitions
type: OTHER
Source sentences:
text: In mathematics, a fact is a statement (called a theorem) that can be proven by logical argument from certain axioms and definitions.